Similar repositories to profsergiocosta/profsergiocosta.github.io:
profsergiocosta/profsergiocosta.github.io
github
similar
danistefanovic/build-your-own-x
github
similar
ewestern/geos
github
similar
Lambda-MA/estudos_funcionais
github
similar
damorim/compilers-cin
github
similar
xavierleroy/coq2html
github
similar
sebfisch/haskell-regexp
github
similar
training-center/elixir-study-group
github
similar
lambda-study-group/desafios
github
similar
tsouanas/fmcbook
github
similar
gapt/gapt
github
similar
ProofSystem/Encyclopedia
github
similar
potigol/potigol
github
similar
QuickChick/QuickChick
github
similar
ott-lang/ott
github
similar
MetaCoq/metacoq
github
similar
ekmett/trifecta
github
similar
PurpleKingdomGames/indigo
github
similar
math-comp/math-comp
github
similar
luizalabs/teresa
github
similar
achlipala/frap
github
similar
jwiegley/category-theory
github
similar
kelvins/Algoritmos-e-Estruturas-de-Dados
github
similar
scalacenter/bloop
github
similar
mrakgr/The-Spiral-Language
github
similar
abntex/abntex2
github
similar
edwinb/Idris2-boot
github
similar
graninas/software-design-in-haskell
github
similar
GaloisInc/HaLVM
github
similar
OpenGeoscience/geonotebook
github
similar
witchcrafters/witchcraft
github
similar
winitzki/sofp
github
similar
datacrypt-project/hitchhiker-tree
github
similar
clash-lang/clash-compiler
github
similar
pythonarcade/arcade
github
similar
google-research/dex-lang
github
similar
google/haskell-trainings
github
similar
tensorflow/haskell
github
similar
optics-dev/Monocle
github
similar
finagle/finch
github
similar