Top 3893 haskell open source projects

251. Formatting
Format strings type-safely with combinators
✭ 147
haskell
252. Miso
🍜 A tasty Haskell front-end framework
253. Blip
A bytecode compiler for Python 3
✭ 146
haskell
254. Cborg
Binary serialisation in the CBOR format
✭ 146
haskell
255. Finkel
Haskell in S-expression
256. Diagrams
Embedded domain-specific language for declarative vector graphics (wrapper package)
✭ 144
haskell
257. Caledon
higher order dependently typed logic programing
✭ 145
haskell
258. Pdf Toolbox
A collection of tools for processing PDF files in Haskell
✭ 145
haskellpdf
260. Zeromq Haskell
This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
✭ 144
haskell
261. Digestive Functors
A general way to consume input using applicative functors
✭ 144
haskell
262. Xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
263. Lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
✭ 1,827
haskell
264. Higher Order Unification
A small implementation of higher-order unification
✭ 144
haskell
265. Slick
Static site generator built on Shake configured in Haskell
266. Language C Inline
Inline C & Objective-C in Haskell
✭ 143
haskell
267. Engine.io
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
✭ 143
haskell
268. Ghc Proofs
Let GHC prove program equations for you
✭ 143
haskell
269. Lawvere
A categorical programming language with effects
270. Hulk
Haskell IRC daemon.
✭ 142
haskell
271. Chips
A clone of Chips Challenge in Haskell
✭ 142
haskell
272. Rei
Process lists easily
273. Visi
The Visi Language and iPad IDE
✭ 141
haskell
274. Gpipe Core
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
✭ 141
haskell
275. Haskell Game Programming
A central repository of Haskell Game Programming resources, put together by Keera Studios
✭ 141
haskell
276. Grpc Haskell
gRPC library binding for Haskell.
✭ 141
haskellgrpc
277. Redo
djb's redo implementation in Haskell (for Haskell from Scratch video series)
✭ 140
haskell
278. Pursuit
Website for hosting and searching PureScript API documentation
✭ 140
haskell
279. Curl Runnings
A declarative test framework for quickly and easily writing integration tests against JSON API's.
280. Izuna
Show Haskell type annotations when doing code review on Github
✭ 140
haskell
281. Comonadsheet
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
✭ 139
haskell
282. Json Autotype
Automatic Haskell type inference from JSON input
283. Refined
Refinement types with static checking
✭ 139
haskell
284. Transient Universe
A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud
✭ 139
haskell
286. Macaw
Open source binary analysis tools.
✭ 139
haskell
287. Copilot
A (Haskell DSL) stream language for generating hard real-time C code.
✭ 138
haskell
288. Language Javascript
Parser for JavaScript, in Haskell
✭ 138
haskell
289. Logger
A fast logging system for Haskell
✭ 137
haskell
290. Bigpixel
Pixel art for games
✭ 137
haskell
291. Projecteuler
Polyglot solutions for www.projecteuler.net mathematical challenges
292. Carnap
A formal logic framework that runs in the browser
✭ 137
haskell
293. Aws Lambda Haskell
Running Haskell code on AWS Lambda
✭ 137
haskell
295. Axel
Haskell + Lisp
✭ 137
haskell
297. Cherchord
🎸 Find chords for any string instrument quicky & easily 🎸
298. Haskellers
haskellers.com site
✭ 136
haskell
299. Dyna
Dyna2 compiler and REPL
✭ 136
haskell
300. Redish
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
✭ 136
haskell
251-300 of 3893 haskell projects