lllssskkk's repositories
agda-language-server
Language Server for Agda
Language:HaskellMIT000
askelle-lvmlib
a fork of Helium4Haskell/lvm
checkmate
a tinder app for chess
Language:Dart000
chr
Constraint Handling Rules
Language:HaskellBSD-3-Clause000
Language:Nix000
Language:Java000
Language:HaskellGPL-3.0000
Language:C000
helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:HaskellGPL-3.0000
parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Language:HaskellNOASSERTION000
shuffle
Shuffle tool used by UHC (Utrecht Haskell Compiler)
Language:HaskellNOASSERTION000
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Language:HaskellMIT000
Top
The Top constraint solving framework
Language:HaskellGPL-3.0000
000
uhc-util
Try to build uhc-util using nix flake
Language:HaskellNOASSERTION000
000