Similar repositories to pa-ba/alfred:
pa-ba/alfred
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
Eloston/ungoogled-chromium
github
similar
hercules-ci/github
github
similar
aca/aca.github.io
github
similar
serokell/tztime
github
similar
tweag/awesome-learning-haskell
github
similar
viperML/home-manager-wsl
github
similar
wolverian/agda-template
github
similar
obsidiansystems/monad-logger-extras
github
similar
uiuc-cs-zettelkasten/uiuc-cs-zettelkasten.github.io
github
similar
srid/haskell-ladder
github
similar
aquiferma/noteable
github
similar
Orbis-Tertius/zkp
github
similar
skeuchel/language-coq
github
similar
saep/nvim-hs-ghcid
github
similar
Lysxia/pfa
github
similar
imalsogreg/commonmark-editor
github
similar
lmu-ffp-sose-2020-secret-hitler/secret-hitler
github
similar
ongyiren1994/mermaid-hs
github
similar
srid/banyan
github
similar
srid/timedot-invoice
github
similar
lucasvreis/ondim
github
similar
erikkaplun/curry-kics2
github
similar
srid/my-haskell-scripts
github
similar
obsidiansystems/which
github
similar
vedang/ox-neuron
github
similar
lucasvreis/abacateiro
github
similar
finnteegen/synthesizing-set-functions
github
similar
emwap/plugins-multistage
github
similar
mstksg/typelits-witnesses
github
similar
zohl/dictionaries
github
similar
aaronvargo/naperian
github
similar
isovector/magic-debug
github
similar
samwalls/neuron-citation
github
similar
wwu-pi/muli
github
similar
exFalso/sandfix
github
similar
UU-ComputerScience/uu-cco
github
similar
KolodeznyDiver/THEff
github
similar