Similar repositories to kitten-lang/kitten:

• kitten-lang/kitten github similar
• domchristie/turndown github similar
• postalhq/postal github similar
• k6io/k6 github similar
• cartazio/omega github similar
• danistefanovic/build-your-own-x github similar
• sarsko/CreuSAT github similar
• toeverything/AFFiNE github similar
• hecrj/iced github similar
• spl/alpha-conversion-is-easy github similar
• ggreif/omega github similar
• anasazi/rust-redex github similar
• namin/higher-rank github similar
• zilberstein/system-fc-coq github similar
• chrisamaphone/lfinlf github similar
• nikomatsakis/rust-name-resolution-algorithm github similar
• xnning/Consistent-Subtyping-for-All github similar
• racket/honu github similar
• JoeyEremondi/lambda-pi-constraint github similar
• laysakura/fid-rs github similar
• evertedsphere/preposterous github similar
• jonsterling/tt github similar
• laysakura/louds-rs github similar
• GeorgeKT/menhir-lang github similar
• sinistersnare/SinScheme github similar
• gnachman/iTerm2-shell-integration github similar
• emilaxelsson/imperative-edsl github similar
• agda/agda-spec github similar
• leanprover/LeanInk github similar
• Canop/clima github similar
• coq-community/dblib github similar
• rossberg/mixml github similar
• wezm/git-grab github similar
• TikhonJelvis/modular-arithmetic github similar
• RedPRL/sml-typed-abts github similar
• hypirion/haskell-transducers github similar
• ericfinster/opetopic github similar
• gergoerdi/tandoori github similar
• jxxcarlson/elm-text-editor github similar
• Russoul/Idris2-Effect github similar