Alternatives and similar repositories for ts-parsec

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

• yawaramin / dream-html
  Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
  ☆197Updated 2 weeks ago
• janestreet / bonsai_term
  A library for building dynamic terminal apps, using bonsai
  ☆108Updated 2 weeks ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆296Updated last year
• jeprinz / pantograph
  ☆98Updated 10 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆246Updated this week
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 3 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆130Updated 11 months ago
• raven-ml / raven
  Modern scientific computing for OCaml
  ☆332Updated last week
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆106Updated last year
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated 11 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆255Updated this week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• mthom / scryer-shen
  ☆56Updated 6 months ago
• brundonsmith / bagel
  A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…
  ☆90Updated 3 years ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 6 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆119Updated last week
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• ocaml-wasm / wasm_of_ocaml
  ☆279Updated 2 weeks ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆211Updated last year
• mbuhot / glyn
  Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.
  ☆89Updated 3 months ago
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆181Updated 3 weeks ago
• Bogdanp / Noise
  A Swift wrapper around Racket CS.
  ☆63Updated last week
• darklang / rescript-tea
  The Elm Architecture for Rescript
  ☆120Updated 3 years ago
• f5devcentral / shapeRank
  ☆47Updated 3 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆27Updated 2 years ago