Alternatives and similar repositories for kite:

Users that are interested in kite are comparing it to the libraries listed below

• xran-deex / ats-http
  An epoll-based HTTP library for ATS2
  ☆14Updated 2 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 11 months ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• madman-bob / idris2-table
  A table library for Idris 2
  ☆14Updated 2 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated 2 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆28Updated this week
• gelisam / typechecker-combinators
  ☆17Updated last year
• thma / srv
  srv is a tiny web server for local deployments
  ☆9Updated 3 months ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 6 months ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• isovector / ldtk-types
  Types for ldtk
  ☆15Updated last year
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆50Updated 5 months ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 7 months ago
• TOTBWF / agda-tic-tac-toe
  Tic Tac Toe, formalized in Agda
  ☆23Updated 3 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago