Similar repositories to cwi-swat/aterms:
cwi-swat/aterms
github
similar
Eloston/ungoogled-chromium
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
cwi-swat/meta-environment
github
similar
gibiansky/IHaskell
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
SWAT-engineering/dan
github
similar
ivtoskov/lms-intrinsics-example
github
similar
travitch/language-sleigh
github
similar
GaloisInc/language-sleigh
github
similar
tupilabs/nebular
github
similar
jamii/JuliaCon2018
github
similar
kazu-yamamoto/git-object
github
similar
jjmeyer0/gt
github
similar
pxqr/intset
github
similar
alang9/deque
github
similar
cwi-swat/flybytes
github
similar
usethesource/flybytes
github
similar
metaborg/strategoxt
github
similar
usethesource/vallang
github
similar
j4ts/j4ts-awt-swing
github
similar
usethesource/rascal-eclipse
github
similar
lezer-parser/lezer
github
similar
adoptium/aqa-systemtest
github
similar
frasertweedale/hs-fresnel
github
similar
jarohen/graph-zip
github
similar
haskell-works/hw-rankselect
github
similar
odipar/spread
github
similar
Gabriel439/Haskell-Succinct-Vector-Library
github
similar
cowtowncoder/java-cachemate
github
similar
iVis-at-Bilkent/cytoscape.js-node-editing
github
similar
cwi-swat/clair
github
similar
premun/ingrid
github
similar
jrvosse/wordnet-3.0-rdf
github
similar
samoht/dyntype
github
similar
ocharles/nix-build-cache
github
similar
CampagneLaboratory/ANTLR_MPS
github
similar
lbovet/super-machine
github
similar
serokell/rocksdb-haskell
github
similar