lllssskkk

Pinned Repositories

agda-language-server
Language Server for Agda
Language:Haskell00
askelle-lvmlib
a fork of Helium4Haskell/lvm
Language:Haskell00
checkmate
a tinder app for chess
Language:Dart01
chr
Constraint Handling Rules
Language:Haskell00
DAT151-PLT
Language:Nix00
diabetics-communication-app
Language:Java00
dummy-imperative-language
Language:Haskell00
haskell-ebook
00
Haskell-Programming-From-First-Principle
Language:C00
helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:Haskell00

lllssskkk's Repositories

lllssskkk/agda-language-server
Language Server for Agda
Language:Haskell00
lllssskkk/askelle-lvmlib
a fork of Helium4Haskell/lvm
Language:Haskell00
lllssskkk/checkmate
a tinder app for chess
Language:Dart01
lllssskkk/chr
Constraint Handling Rules
Language:Haskell00
lllssskkk/DAT151-PLT
Language:Nix00
lllssskkk/diabetics-communication-app
Language:Java00
lllssskkk/dummy-imperative-language
Language:Haskell00
lllssskkk/haskell-ebook
00
lllssskkk/Haskell-Programming-From-First-Principle
Language:C00
lllssskkk/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:Haskell00
lllssskkk/JP-To-CN
00
lllssskkk/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Language:Haskell00
lllssskkk/shuffle
Shuffle tool used by UHC (Utrecht Haskell Compiler)
Language:Haskell
lllssskkk/Top
The Top constraint solving framework
Language:Haskell
lllssskkk/uhc
lllssskkk/uhc-util
Try to build uhc-util using nix flake
Language:Haskell
lllssskkk/uuagc