Similar repositories to Lysxia/roll-your-own-irc-bot:
Lysxia/roll-your-own-irc-bot
github
similar
gibiansky/IHaskell
github
similar
jwiegley/simple-ltl
github
similar
elliottt/rogue
github
similar
RyanGlScott/gists
github
similar
UnknownJoe796/SuperMarioBrosFlow
github
similar
thoughtpolice/clash-playground
github
similar
kino3/Mini-TT
github
similar
patrickt/effects-benchmarks
github
similar
jwiegley/z3cat
github
similar
peti/git-annex
github
similar
riscy/melpazoid
github
similar
RyanGlScott/ghc-software-foundations
github
similar
ekmett/semigroupoids
github
similar
input-output-hk/nix-tools
github
similar
smtcoq/smtcoq
github
similar
Twinside/Rasterific
github
similar
jaspervdj/fugacious
github
similar
SimulaVR/godot-haskell
github
similar
fakedata-haskell/fakedata
github
similar
statebox/cql
github
similar
haskell/fgl
github
similar
ennocramer/floskell
github
similar
cpitclaudel/alectryon
github
similar
lukaszcz/coqhammer
github
similar
coq-community/awesome-coq
github
similar
smallhadroncollider/cmt
github
similar
chrisdone/duet
github
similar
madewokherd/wine-mono
github
similar
matrix-org/matrix-ircd
github
similar
system-f/lets-lens
github
similar
ekmett/guanxi
github
similar
haskell/bytestring
github
similar
MetaCoq/metacoq
github
similar
sweirich/dth
github
similar
recursion-schemes/recursion-schemes
github
similar
nix-community/emacs-overlay
github
similar
githwxi/ATS-Postiats
github
similar
well-typed/optics
github
similar
bitemyapp/esqueleto
github
similar