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

678
Following

0
Likes

0

Haskell OSS @github_haskell

4 years ago

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

0 0 1 0 0

Haskell OSS @github_haskell

4 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

4 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

4 years ago

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

0 0 0 0 0

Haskell OSS @github_haskell

4 years ago

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

0 1 3 0 1

Haskell OSS @github_haskell

4 years ago

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

0 0 0 0 0

Haskell OSS @github_haskell

4 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

4 years ago

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

0 0 0 0 0

Haskell OSS @github_haskell

4 years ago

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

0 0 2 0 0

Haskell OSS @github_haskell

4 years ago

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

0 0 0 0 0

Haskell OSS @github_haskell

4 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

4 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

4 years ago

icfpc2021 - github.com/nobsun/icfpc20…

0 2 2 0 0

Haskell OSS @github_haskell

4 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

4 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

4 years ago

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

0 0 0 0 0

Haskell OSS @github_haskell

4 years ago

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

0 0 1 0 0

Haskell OSS @github_haskell

4 years ago

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

0 1 1 0 0

Haskell OSS @github_haskell

4 years ago

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

0 0 1 0 1

Haskell OSS @github_haskell

4 years ago

programming_bitcoin_haskell - github.com/gaxiiiiiiiiiii…

0 0 0 0 0

Stephen Diehl @smdiehl

55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT

Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af.

Genocide is terrible.

Susan Potter @SusanPotter

7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.

Eric Torreborre @etorreborre

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

Dad×2_jack @Iceland_jack

3K Followers 572 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 employer. @scala_sbt core dev.

mastodon: @eed3si9n@mastodon.social

∃ugene -Yokota 🥙... @eed3si9n

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

Paweł Szulc @EncodePanda

3K Followers 655 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.

Matti Palli 🧙‍�... @tritlo

3K Followers 2K Following uncertified haskell engineer | certified researcher

Loch Nessa Monster�... @pasiphae_goals

4K 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

2K 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

Krishnansh @dawkrish

5 Followers 43 Following I like fp, working as a software developer @trypazy

anthoni @anthonipp

35 Followers 423 Following

Aladdin @king_quraishi1

149 Followers 7K Following

ardalaan @ardalaaaan

1 Followers 47 Following

Soso Ibn Ben Bakr Rus... @AdArmaCives

1K Followers 4K Following Caucasian. wrightwinger. Georgian Legionaire. Matematician. War veteran. RUST/SCALA/HASKELL/R. Weapons, NRA!

Type Theory Forall @ttforall

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

Bro @bochan773

84 Followers 6K Following というか、無敵です

joao.felipe.c.b @joaofelipecb

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

KuliTweets @kulioprek

0 Followers 44 Following

usagi_zajec @usagi_zajec

10 Followers 308 Following

Jim Colombo @linux_ai_rust

243 Followers 6K Following 微信公众号：linux_ai_rust

Primary maintainer of eza and NixOS committer. Lead Software Engineer at VitVio, building the future of AI-powered operating rooms.

Christina Sørensen @cafkafk

110 Followers 811 Following Primary maintainer of eza and NixOS committer. Lead Software Engineer at VitVio, building the future of AI-powered operating rooms.

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

髭もじゃのハブ... @Hige_Chiwassu

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

Eventually Consistent... @Guisanpea

59 Followers 632 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

9 Followers 321 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

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

9Crypt Labs @gotMeAHaskell

901 Followers 2K Following Building on #Cardano. Not financial, investment, legal, or tax advice. Reposts/Likes do not imply endorsement.

Vlad Fisher @vlad_kf

100 Followers 683 Following I'm pressing buttons #Haskell #Elm #Scala #Python

Jihyeon Kim (김지�... @simnalamburt

5K Followers 2K Following SWE, DevOps, oss/acc

R U @r_ru47542838

1 Followers 124 Following

Danilo Silva @dev_danilosilva

66 Followers 657 Following ((Software (Engineer)))

nhatanh @alittletyper

199 Followers 2K 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 652 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

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

Ian Moran @ianmoran011

245 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

33 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

13 Followers 625 Following

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

746 Followers 3K Following 永遠の黒猫🌸🐾 日常垢; xmonad, vim, evil emacs, archlinux, haskell, C#(Unity), neosVR, Resonite; 時折NSFW, 閲覧非推奨 https://t.co/PxYLj4Emmj 🐏👑💤