Alternatives and similar repositories for ts-parsec

Users that are interested in ts-parsec are comparing it to the libraries listed below

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated 2 months ago
• yawaramin / dream-html
  Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
  ☆193Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆125Updated 9 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 9 months ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆295Updated last year
• jeprinz / pantograph
  ☆95Updated 8 months ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 8 months ago
• raven-ml / raven
  Modern scientific computing for OCaml
  ☆314Updated last week
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆56Updated 9 months ago
• darklang / rescript-tea
  The Elm Architecture for Rescript
  ☆120Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆14Updated 2 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆118Updated this week
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆249Updated 2 weeks ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• mbuhot / glyn
  Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.
  ☆84Updated 2 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated last month
• HnimNart / deeplearning
  ☆53Updated last month
• gren-lang / book
  The Gren Programming Language Book
  ☆31Updated 2 weeks ago
• ocaml-wasm / wasm_of_ocaml
  ☆276Updated last month
• mthom / scryer-shen
  ☆56Updated 5 months ago
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last month
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆134Updated 5 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated this week
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆92Updated last week
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆173Updated last week
• geoffreytools / free-types
  A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Al…
  ☆164Updated 2 years ago