Haskell OSS @github_haskell

A news feed of open source Haskell repos being talked about on Twitter. Maintained by @benbjohnson. github.com/benbjohnson/sc… Joined March 2011

Tweets

4K
Followers

741
Following

0
Likes

0

Haskell OSS @github_haskell

3 years ago

vesting-contract - Minimal Tezos vesting contracts github.com/tqtezos/vestin…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

eclair-lang - An experimental, minimal Datalog implementation in Haskell github.com/luc-tielen/ecl…

0 0 4 0 0

Haskell OSS @github_haskell

3 years ago

sprite-lang - An tutorial-style implementation of liquid/refinement types for a subset of Oc... github.com/ranjitjhala/sp…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

msc-automating-induction-via-reflection - github.com/joe-hauns/msc-…

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

komposition - The video editor built for screencasters github.com/owickstrom/kom…

0 1 3 0 1

Haskell OSS @github_haskell

3 years ago

disco - Distant Socialing github.com/storm-framewor…

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

ghc-tcplugin-api - An interface for GHC type-checking plugins github.com/sheaf/ghc-tcpl…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

tla-transmutation - Elixir code generation from TLA+ specifications github.com/gabrielamafra/…

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

makemistakestolearnhaskell - Make Mistakes to Learn Haskell - 失敗しなが�... github.com/haskell-jp/mak…

0 0 2 0 0

Haskell OSS @github_haskell

3 years ago

massalia - An intermediate haskell framework for designing GraphQL APIs github.com/theobat/massal…

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

pg-entity - A pleasant PostgreSQL database layer for Haskell github.com/tchoutri/pg-en…

0 2 7 0 0

Haskell OSS @github_haskell

3 years ago

nbe-edsl - Normalization by Evaluation for Embedded Domain-specific Languages github.com/nachivpn/nbe-e…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

icfpc2021 - github.com/nobsun/icfpc20…

0 2 2 0 0

Haskell OSS @github_haskell

3 years ago

tree-traversals - Functions and newtype wrappers for traversing Trees github.com/rampion/tree-t…

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

cycle-detection - extracting cycles as trees in linear time github.com/riz0id/cycle-d…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

z-data - array, slices and text github.com/zhaskell/z-data

0 0 0 0 0

Haskell OSS @github_haskell

3 years ago

peregrine - EDSL for automated, low-latency trading github.com/charles-cooper…

0 0 1 0 0

Haskell OSS @github_haskell

3 years ago

termonad - Terminal emulator configurable in Haskell. github.com/cdepillabout/t…

0 1 1 0 0

Haskell OSS @github_haskell

3 years ago

fp-pacman - Retro Pacman game in Haskell github.com/egordm/fp-pacm…

0 0 1 0 1

Haskell OSS @github_haskell

3 years ago

programming_bitcoin_haskell - github.com/gaxiiiiiiiiiii…

0 0 0 0 0

Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations.

I'm a midwife to the hidden beauty in everything (she/her) 🏳️‍⚧️

Gabriella Gonzalez @GabriellaG439

14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️‍⚧️

Stephen Diehl @smdiehl

61K Followers 3K Following Programming 🐻

Antifascist. Software Engineer @referentiallabs. Gay. Immigrant.

Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWaters

Susan Potter @SusanPotter

7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWaters

Camarade Hécate 🪬 @TechnoEmpress

2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).

Eric Torreborre @etorreborre

7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)

Dad×2_jack @Iceland_jack

3K Followers 548 Following Haskell

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

José A. Alonso @Jose_A_Alonso

4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

enjoys music, good food, coding, and talking about them.
learning machines at Netflix. @scala_sbt core dev.

mastodon: @eed3si9n@mastodon.social

∃ugene -Yokota 🥙.. @eed3si9n

5K Followers 606 Following enjoys music, good food, coding, and talking about them. learning machines at Netflix. @scala_sbt core dev. mastodon: @[email protected]

Paweł Szulc @EncodePanda

3K Followers 643 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods

reibitto @reibitto

1K Followers 1K Following Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.

Matthías Páll Gissu.. @tritlo

2K Followers 2K Following haskell

Loch Nessa Monster�.. @pasiphae_goals

5K Followers 2K Following Applications to be my first ex-husband now being accepted. en/fr/de.

@[email protected] @cyberglot

3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq

future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him

https://t.co/VGk6nI4TOO
https://t.co/64Kipz3ghV
https://t.co/YetTYcxcvQ on bluesky

vaibhav sagar @vbhvsgr

3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky

Soso Ibn Ben Bakr Rus.. @PradoeSousa

343 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!

Type Theory Forall @ttforall

3K Followers 175 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM

Bo3 Ultra🚀 @bochan773

78 Followers 5K Following あらゆる事象への適応

mimoccc @mimoccc

560 Followers 3K Following Hovori zamilovana mucha muche: Zlaticko, zo vsetkych hovien, mam najradsej Teba...

Abdülhakim Süleyman.. @github_org7

176 Followers 1K Following https://t.co/5SzUetJMSl https://t.co/fD0lBDL636

joao.felipe.c.b @joaofelipecb

10 Followers 50 Following Entrepreneur at @cheappchef 👨‍🍳 Software Architect 👨‍💻 Reggaeton & Latin Culture Fan 🕺 Skater ⛸️

KuliTweets @kulioprek

1 Followers 50 Following

usagi_zajec @usagi_zajec

15 Followers 323 Following

aramya @thmgdi

215 Followers 2K Following interested in low-level computing, pwn and functional programming :)

Jim Colombo @LisprezD

252 Followers 5K Following haskell and ocaml are both great

cafkafk @cafkafk

156 Followers 860 Following I was here regularly once

アライさん界隈！けもフレ/Python/Haskell/Eng/数学/ポーカー/歌ってみたやってるぞ！最近はJech集合論に夢中だ！よろしくな！数学基礎論傾向！アイコン作(@torobaru)フェネックこと将来の配偶者(@HSP_Tsuchi) #アライさんvape部最近圏論もハマってる！DIDです全検査IQ119

髭もじゃのハブ.. @Hige_Chiwassu

2K Followers 5K Following アライさん界隈！けもフレ/Python/Haskell/Eng/数学/ポーカー/歌ってみたやってるぞ！最近はJech集合論に夢中だ！よろしくな！数学基礎論傾向！アイコン作(@torobaru)フェネックこと将来の配偶者(@HSP_Tsuchi) #アライさんvape部最近圏論もハマってる！DIDです全検査IQ119

Eventually Consistent.. @Guisanpea

55 Followers 633 Following Part time student part time worker, passionate about Functional Programming, and some times I do other things

Non-Profit organization dedicated to medical research on thyroid cancer in women. I'm currently dealing with benign nodules gland and also autoimmune diseases.

TheLadyKProject @ladykraken21

32 Followers 322 Following Non-Profit organization dedicated to medical research on thyroid cancer in women. I'm currently dealing with benign nodules gland and also autoimmune diseases.

shzmwfgwzf @asnawysl

159 Followers 5K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you

gotMeAHaskell :: ₳�.. @gotMeAHaskell

800 Followers 2K Following Living recursively until I hit my base case. Developer and investor. #Cardano $ADA

Vlad Fisher @vlad_kf

92 Followers 685 Following I'm pressing buttons #Haskell #Elm #Scala #Python

neojk @a1aneojk

137 Followers 5K Following Software Engineer

김지현 @simnalamburt

4K Followers 2K Following SWE, DevOps, Seoul

R U @r_ru47542838

3 Followers 125 Following

Danilo Silva @dev_danilosilva

72 Followers 695 Following ((Software (Engineer)))

nhatanh @alittletyper

160 Followers 1K Following

💻 Software Engineer (FP)
🦄 Co-creator @kowainik
🖋 @bind_the_gap
👩‍🏫 #Learn4Haskell
🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R

Veronika Romashkina @vrom911

3K Followers 673 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩‍🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R

John K. | Atala PRISM.. @IoMaasai

326 Followers 960 Following https://t.co/Cx6gk7WzwB is an independent, sustainable and charitable African Cardano Stake Pool

Ian Moran @ianmoran011

278 Followers 2K Following R | Economics | Psychology | Causal Inference

I keep things running, also love Free/Libre and Open Source Software, developer in my spare time and @nixos_org/@nixpkg contributor.

Bryan Albuquerque @bryanasdev000

34 Followers 1K Following I keep things running, also love Free/Libre and Open Source Software, developer in my spare time and @nixos_org/@nixpkg contributor.

Jojwic @jojwic

11 Followers 658 Following

穢れ。【misskeyにうまく引っ越せない】日常垢; xmonad, vim, evil emacs, archlinux, haskell, neosVR, Resonite; 時折NSFW, 閲覧非推奨 https://t.co/PxYLj4Emmj

Cj-bc_sd.sh@ソーダ.. @Cj_bc_sd

733 Followers 2K Following 穢れ。【misskeyにうまく引っ越せない】日常垢; xmonad, vim, evil emacs, archlinux, haskell, neosVR, Resonite; 時折NSFW, 閲覧非推奨 https://t.co/PxYLj4Emmj

Tiberiu Alexandru @tiberiualex

59 Followers 635 Following JavaScript, TypeScript, learning Haskell and Rust

Gus Delgadillo @westerngazoo

32 Followers 444 Following Tech & weights. Programmer, c99 Kid, Rust enthusiast. IoT FW/SW Intergalactic Cosmic ninja programmer :sarcasm:

Luc Baro @LucBaro

107 Followers 1K Following Software Engineer, Functional Programming learner

Stefano Cipriani @stef_cipriani

19 Followers 136 Following

Marcello Urbani🇺�.. @marcellourbani

317 Followers 695 Following

zelmac @zelmac__

18 Followers 232 Following computer person, i guess

aresyang（httpz) @emememerica

147 Followers 3K Following 技術和科學,EE

Kacper Korban @KacperKorban

162 Followers 273 Following Bringing Scala closer to Haskell @VirtusLab

Minh Nhat @minhnhat10bk

38 Followers 206 Following

Garriot Zhang @xiaolzha

334 Followers 671 Following A programmer, C++/Java/Python/Haskell. Looking for job

mosss0321 @mosss0321

116 Followers 547 Following blog: https://t.co/N8IYwNuaka

-_- @boarders__

760 Followers 2K Following I think that says ‘ex inferis’ - save yourself … from hell

Artur Gajowy @ArturGajowy

235 Followers 308 Following Haskell / Scala developer

Anton_Rich @anton_rrich

43 Followers 380 Following I am learning Elm, Elixir and Haskell. I want to work with those languages.

regex and the full ef.. @swizzard

1K Followers 2K Following east coast heart/east coast mentality. wife guy, mets fan, code typer, @swizzard.pizza on bsky

Krishna Padmasola @placidex

86 Followers 2K Following

Arthur Weber 🇫🇷 @godu

141 Followers 334 Following Software architect at @coorpacademy

Sondre Lunde @sondresl

61 Followers 150 Following

maksar @maksar

18 Followers 112 Following

I like making games, learning about type theory and hacking on hardware. I'm also passionate about food and coffee! ☕ he/him

Basile Henry @basile_henry

172 Followers 356 Following I like making games, learning about type theory and hacking on hardware. I'm also passionate about food and coffee! ☕ he/him