wireapp/wire-server
🇪🇺 Wire back-end services
Haskell - AGPL-3.0 - Last pushed - 1.87K stars - 236 forks
colah/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
Haskell - AGPL-3.0 - Last pushed - 646 stars - 94 forks
joeyh/git-annex
Manage large files with git. (This github mirror is not used for development. Please use https://...
Haskell - AGPL-3.0 - Last pushed - 1.24K stars - 94 forks
AllureOfTheStars/Allure
Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad game written in Haskell
Haskell - AGPL-3.0 - Last pushed - 79 stars - 6 forks
lspitzner/brittany
haskell source code formatter
Haskell - AGPL-3.0 - Last pushed - 263 stars - 25 forks
dapphub/hevm
A debug-oriented Ethereum VM (EVM)
Haskell - AGPL-3.0 - Last pushed - 121 stars - 14 forks
TokTok/hs-toxcore
Haskell Tox protocol implementation
Haskell - AGPL-3.0 - Last pushed - 26 stars - 11 forks
luna/luna-studio
An IDE for hybrid textual and visual functional programming.
Haskell - AGPL-3.0 - Last pushed - 516 stars - 18 forks
nwf/dyna
Dyna2 compiler and REPL
Haskell - AGPL-3.0 - Last pushed - 89 stars - 13 forks
jekor/vocabulink
web application for learning foreign vocabulary
Haskell - AGPL-3.0 - Last pushed - 85 stars - 9 forks
ice1000/Kt2Dart
flashlight Transpile Kotlin codes into Dart, Make Flutter Great Again
Haskell - AGPL-3.0 - Last pushed - 55 stars - 2 forks
gonimo/gonimo
gonimo application back & front
Haskell - AGPL-3.0 - Last pushed - 54 stars - 4 forks
databrary/databrary
behavioral science research media data sharing web application
Haskell - AGPL-3.0 - Last pushed - 43 stars - 14 forks
RaminHAL9001/Dao
The Dao System, a Haskell package providing a domain-specific scripting language and knowledge ba...
Haskell - AGPL-3.0 - Last pushed - 38 stars - 3 forks
nek0/yammat
Yet Another MateMAT
Haskell - AGPL-3.0 - Last pushed - 16 stars - 12 forks
singpolyma/cheogram
Groupchat for everyone
Haskell - AGPL-3.0 - Last pushed - 10 stars - 2 forks
crytic/echidna
Ethereum fuzz testing framework
Haskell - AGPL-3.0 - Last pushed - 311 stars - 47 forks
lorepub/moot
Moot is a CFP and event management system!
Haskell - AGPL-3.0 - Last pushed - 61 stars - 14 forks
purebred-mua/purebred
A terminal based mail user agent based on notmuch
Haskell - AGPL-3.0 - Last pushed - 54 stars - 5 forks
dogestreet/proxypool
A Stratum to Stratum proxy pool
Haskell - AGPL-3.0 - Last pushed - 33 stars - 39 forks
xtendo-org/saha
Compact static website tool for Cool URIs
Haskell - AGPL-3.0 - Last pushed - 22 stars
zerobuzz/configifier
parser for config files, shell variables, command line args.
Haskell - AGPL-3.0 - Last pushed - 22 stars - 7 forks
nuttycom/aftok
Haskell - AGPL-3.0 - Last pushed - 10 stars - 1 forks
pushcx/shenzhen
Solver for Shenzen Solitaire
Haskell - AGPL-3.0 - Last pushed - 9 stars
xtendo-org/unbreak
Secure and resilient remote file storage with client-side encryption
Haskell - AGPL-3.0 - Last pushed - 9 stars
xtendo-org/wild
Automatically deliver a Haskell project to GitHub's Release API
Haskell - AGPL-3.0 - Last pushed - 7 stars
nek0/eidolon
Image gallery in yesod
Haskell - AGPL-3.0 - Last pushed - 6 stars - 3 forks
kadoban/sgf
A utility for generating previews of go problems in various (output) formats. Includes a (partia...
Haskell - AGPL-3.0 - Last pushed - 6 stars
alexbecker/blogdown
Markup language for blogging, based on Markdown
Haskell - AGPL-3.0 - Last pushed - 6 stars
wjt/flitwemmmmm
An IDM track name generator.
Haskell - AGPL-3.0 - Last pushed - 5 stars
License
Keyword
Language
Host

Subscribe to an RSS feed of this search