Kevin's repositories
advent-of-code
Advent of Code Framework for Haskell
whatprogramminglanguageshouldilearn
Website to help you decide what programming language to learn
Language:Haskell000
control-io-state
Stateful Operations with IORefs
Language:HaskellISC000
data-list-unweave
Unweaving lists
Language:HaskellISC000
hakyll-site
Personal site made with Hakyll
Language:Haskell000
head
Coreutils `head` clone
Language:HaskellISC000
hello.cb
Hello world in Carbon
Language:NixUnlicense000
Language:IdrisBSD-2-Clause000
idris2-linear-vector
Linear vectors in Idris 2
Language:IdrisISC000
idris2-pkgs
An unofficial Idris2 package repository for Nix
Language:NixMIT000
imperative
Some crappy imperative language idk
irc-core
Haskell IRC library and console client - Join us on libera.chat #glirc
Language:HaskellISC000
llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
MIT000
ok
An open-source interpreter for the K5 programming language.
MIT000
paddleball
Basic paddleball game in Haskell
paddleball-vty
Paddleball with Yampa
pipes-network
Use network sockets together with the Haskell pipes library.
Language:HaskellBSD-3-Clause000
Language:HaskellISC000
tomlandMaps
Test maps with tomland TOML parsing
Language:HaskellUnlicense000