🇫🇷 Made in France
Discover France's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of France.
TOP Haskell Projects
erebe/wstunnel
Tunneling over websocket protocol - Static binary available
erebe/greenclip
Simple clipboard manager to be integrated with rofi - Static binary available
mrkkrp/megaparsec
Industrial-strength monadic parser combinator library
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
mrkkrp/req
An HTTP client library
evertedsphere/silica
optics for Haskell with the most amazing type errors you've seen
k0ral/hbro
[Unmaintained] A minimal web-browser written and configured in Haskell.
Mesabloo/diagnose
A simple library for reporting compiler/interpreter errors
soywod/unfog
⏱ Minimalist CLI task & time manager, written in Haskell.
matsumonkie/izuna
Show Haskell type annotations when doing code review on Github
abailly/aws-lambda-haskell
Running Haskell code on AWS Lambda
1HaskellADay/1HAD
1 Haskell A Day exercises
hadronized/luminance
Type-safe, type-level and stateless Haskell graphics framework
np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
lortabac/versioning
Type-safe data versioning.
YPares/porcupine
Express parametrable, composable and portable data pipelines
evertedsphere/sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
mrkkrp/zip
Efficient library for manipulating zip archives
smart-chain-fr/tokenomia
Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.
Mesabloo/nihil
Nihil, a statically typed interpreted functional programming language
mrkkrp/modern-uri
Modern library for working with URIs
mrkkrp/ghc-syntax-highlighter
Syntax highlighter for Haskell using the lexer of GHC
picnoir/ex-hack
Example-based Haskell Documentation Engine
divarvel/jDbT
jinx Database Tools
mrkkrp/facts
Refined types
mrkkrp/parser-combinators
Lightweight package providing commonly useful parser combinators
bartavelle/language-puppet
A library to work with Puppet manifests, test them and eventually replace everything ruby.
BartoszMilewski/AoC2019
Solutions to Advent of Code 2019
jfaure/Irie-lang
Subtyping calculus of inductive constructions
jfaure/lfvm-stg
Map lazy functional language constructs to LLVM IR
abailly/hevents
Event Sourcing library in Haskell
err0r500/realworld-app-simple-haskell
TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell
yogsototh/learn_haskell
An attemps to make a document to help learn Haskell
aspiwack/peppermint-prover
Experimental proof assistant (and architecture) for dependent linear logic
OlivierSohn/hamazed
Monorepo for a multi-player game engine, and game examples
BartoszMilewski/AofC2017
Advent of Code 2017
mrkkrp/text-metrics
Calculate various string metrics efficiently in Haskell
tchoutri/pg-entity
A pleasant PostgreSQL database layer for Haskell
mrkkrp/forma
Parse and validate forms in JSON format
Kleidukos/get-tested
Go get tested! Github Actions matrix generator for your haskell projects
evertedsphere/how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
BoeingX/haskell-programming-from-first-principles
Notes and solutions to exercises of "Haskell Programming from first principles"
elaye/mushu
Mushu is a minimalist MPD client with a TUI and an incremental fuzzy finder for your music library
JPMoresmau/BuildWrapper
Utility to manage haskell projects for an IDE
Rydgel/flappy-haskell
Flappy Bird Haskell Implementation
mrkkrp/path-io
Operations on files and directories with typed paths
evertedsphere/noether
Highly polymorphic algebraic structures with custom deriving strategies
evertedsphere/shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
FlogFr/FlashCard
FlashCard open source website https://izidict.com
SimonHauguel/Paso
Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
JPMoresmau/rnn
playing with recurrent neural networks
pascalpoizat/fbpmn
🔬 formal tools for BPMN
BartoszMilewski/CategoryTheory
dsferruzza/prismic-backup
Unofficial CLI tool to backup a Prismic.io repository
Sheinxy/Advent2022
Advent Of Code 2022
adacapo21/plutusPioneerProgram
Plutus Pioneer Program #2 Cohort
abailly/hs-word2vec
A port of Google's word2vec to Haskell
mrkkrp/flac
Complete high-level Haskell binding to libFLAC
yogsototh/yosog
A yesod tutorial
TerrorJack/template-haskell-jailbreak
Black magic to workaround a Template Haskell stage restriction.
PascalLG/nubo-hs
Self-hosted file sharing application in Haskell and PHP.
BartoszMilewski/AoC2021
JPMoresmau/HGraphStorage
Graph database in Haskell
lortabac/ariel
A simple, purely-functional programming language
xldenis/besm
Resurrecting PP-BESM
bartavelle/hruby
Embed Ruby in your Haskell program.
bartavelle/7startups
A whirlwind tour of some Haskell design decisions
TerrorJack/erumpo
Just a prototype, but will be improved soon.
Herzult/vindinium-starter-haskell
Haskell starter for http://vindinium.org
Mesabloo/jellyvm
A VM written following the Linear Abstract Machine architecture
fp4me/tidal-chord
chord support for live coding tidal
sebsheep/elm2node
Use your pure elm functions in Node.js in a synchronous way!
mrkkrp/htaglib
Haskell bindings for TagLib, an audio meta-data library
xldenis/ill
educational compiler for not (quite) toy languages
FlogFr/Poseidon
Simple & Extensible PostgreSQL Library in Haskell
dmnpignaud/haskell-github-api
retrieve github data through haskell functions
hadronized/wavefront
Haskell Wavefront OBJ loader library
aspiwack/haskell-benign
A library for benign effects in Haskell
erebe/systemd
Haskell bindings for systemd
OlivierNicole/haskell-chess
A very simple chess engine written in Haskell (work in progress).
YPares/Haskell-OpenGL3.1-Tutos
JPMoresmau/dbIDE
Prototype of a web based, database driven Haskell IDE
evertedsphere/preposterous
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
mrkkrp/markkarpov.com
My personal web site
mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
mrkkrp/identicon
Flexible generation of identicons in Haskell
k0ral/imm
Execute arbitrary actions for each unread element of RSS/Atom feeds
JPMoresmau/scion-class-browser
Scion part for EclipseFP Class Browser
cpa/haskellcontracts
synacktiv/toy-wasm-symbexp
A toy symbolic execution engine, supporting the blog article ...
BartoszMilewski/DeepLearning
Neural networks using parametric prelenses and Trimbara modules
yogsototh/holy-project
Initializer of Haskell project (cabal, git, tests...) + good tutorial
abailly/xxi-century-typed
Support code for talk 'XXIst century shall be typed or not be'
BartoszMilewski/GameOfLife
Conway's Game of Life using a comonad
MichelBoucey/cayley-client
A Haskell client library for Cayley database graph
mboes/hmk
A pure Haskell implementation of Plan9's mk
jtanguy/hmacaroons
Pure haskell implementation of macaroons
Kleidukos/Intrigue
My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
dabcoder/stocks
Haskell library for the IEX trading API: https://iextrading.com/developer/docs/
abailly/haskell-synthesizer
a toy synthesizer to explore haskell concepts