Alternatives and similar repositories for cholok

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

• MrChico / Reals-in-agda
  Constructive definition of real numbers implemented in agda.
  ☆10Updated 9 years ago
• kawu / nerf
  Named entity recognition tool based on linear-chain CRFs
  ☆16Updated 5 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 9 months ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago
• jff / TeLLer
  TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
  ☆18Updated 10 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆133Updated 2 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated last month
• nponeccop / HNC
  HN Compiler
  ☆61Updated last month
• effectfully / Cubes
  A dependently typed type checker for a TT with intervals
  ☆23Updated 5 years ago
• EarlGray / omit
  A self-hosting subset of git functionality in 500 lines
  ☆13Updated 6 years ago
• HoTT / HoTT-2019
  Conference on Homotopy Type Theory 2019
  ☆16Updated 5 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 3 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆24Updated 5 years ago
• Termina1 / tlhydra
  Idris parser and serializer/deserealizer for TL language
  ☆9Updated 5 years ago
• scott-fleischman / greek-grammar
  Modeling Ancient Greek Grammar
  ☆51Updated 7 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 10 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 8 years ago
• jonsterling / tt
  secret project
  ☆17Updated 7 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 7 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 6 years ago
• ziman / itt
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Updated 5 years ago
• danilkolikov / categories
  Category Theory
  ☆19Updated 6 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 5 years ago