π«π· 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
Mesabloo/diagnose
A simple library for reporting compiler/interpreter errors
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.
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
jfaure/Irie-lang
Subtyping calculus of inductive constructions
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/lfvm-stg
Map lazy functional language constructs to LLVM IR
aspiwack/peppermint-prover
Experimental proof assistant (and architecture) for dependent linear logic
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
Kleidukos/get-tested
Go get tested! Github Actions matrix generator for your haskell projects
mrkkrp/text-metrics
Calculate various string metrics efficiently in Haskell
BartoszMilewski/AofC2017
Advent of Code 2017
OlivierSohn/hamazed
Monorepo for a multi-player game engine, and game examples
tchoutri/pg-entity
A pleasant PostgreSQL database layer for Haskell
evertedsphere/how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
mrkkrp/forma
Parse and validate forms in JSON format
elaye/mushu
Mushu is a minimalist MPD client with a TUI and an incremental fuzzy finder for your music library
BoeingX/haskell-programming-from-first-principles
Notes and solutions to exercises of "Haskell Programming from first principles"
JPMoresmau/BuildWrapper
Utility to manage haskell projects for an IDE
Rydgel/flappy-haskell
Flappy Bird Haskell Implementation
evertedsphere/shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
mrkkrp/path-io
Operations on files and directories with typed paths
evertedsphere/noether
Highly polymorphic algebraic structures with custom deriving strategies
SimonHauguel/Paso
Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
FlogFr/FlashCard
FlashCard open source website https://izidict.com
JPMoresmau/rnn
playing with recurrent neural networks
dsferruzza/prismic-backup
Unofficial CLI tool to backup a Prismic.io repository
pascalpoizat/fbpmn
π¬ formal tools for BPMN
Sheinxy/Advent2022
Advent Of Code 2022
hsyl20/haskus-system
BartoszMilewski/CategoryTheory
abailly/hs-word2vec
A port of Google's word2vec to Haskell
adacapo21/plutusPioneerProgram
Plutus Pioneer Program #2 Cohort
mrkkrp/flac
Complete high-level Haskell binding to libFLAC
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.
yogsototh/yosog
A yesod tutorial
lortabac/ariel
A simple, purely-functional programming language
BartoszMilewski/AoC2021
JPMoresmau/HGraphStorage
Graph database in Haskell
bartavelle/7startups
A whirlwind tour of some Haskell design decisions
bartavelle/hruby
Embed Ruby in your Haskell program.
Herzult/vindinium-starter-haskell
Haskell starter for http://vindinium.org
TerrorJack/erumpo
Just a prototype, but will be improved soon.
Mesabloo/jellyvm
A VM written following the Linear Abstract Machine architecture
mrkkrp/htaglib
Haskell bindings for TagLib, an audio meta-data library
fp4me/tidal-chord
chord support for live coding tidal
dmnpignaud/haskell-github-api
retrieve github data through haskell functions
aspiwack/haskell-benign
A library for benign effects in Haskell
sebsheep/elm2node
Use your pure elm functions in Node.js in a synchronous way!
hadronized/wavefront
Haskell Wavefront OBJ loader library
FlogFr/Poseidon
Simple & Extensible PostgreSQL Library in Haskell
YPares/Haskell-OpenGL3.1-Tutos
OlivierNicole/haskell-chess
A very simple chess engine written in Haskell (work in progress).
erebe/systemd
Haskell bindings for systemd
JPMoresmau/dbIDE
Prototype of a web based, database driven Haskell IDE
Kleidukos/boreal
evertedsphere/preposterous
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
tchoutri/confer
The symbolic links manager for your configuration files
cpa/haskellcontracts
JPMoresmau/scion-class-browser
Scion part for EclipseFP Class Browser
k0ral/imm
Execute arbitrary actions for each unread element of RSS/Atom feeds
mrkkrp/identicon
Flexible generation of identicons in Haskell
mrkkrp/markkarpov.com
My personal web site
fuzzypixelz/hustle
Haskell implementation of the KDL Document Language
BartoszMilewski/DeepLearning
Neural networks using parametric prelenses and Trimbara modules
Sheinxy/Advent-Of-Code
Advent Of Code
yogsototh/holy-project
Initializer of Haskell project (cabal, git, tests...) + good tutorial
synacktiv/toy-wasm-symbexp
A toy symbolic execution engine, supporting the blog article ...
Kleidukos/Intrigue
My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsec
abailly/haskell-synthesizer
a toy synthesizer to explore haskell concepts
BartoszMilewski/GameOfLife
Conway's Game of Life using a comonad
mboes/hmk
A pure Haskell implementation of Plan9's mk
JPMoresmau/HJVM
Invoke and manage a Java Virtual Machine from Haskell