Alternatives and similar repositories for flunct

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

• mthom / scryer-shen
  ☆56Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆67Updated this week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆82Updated last month
• jkoppel / ecta
  ☆37Updated last year
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• stchang / macrotypes
  ☆138Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆32Updated 8 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 11 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆13Updated 2 weeks ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 5 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 4 months ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 8 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆48Updated last month
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated 11 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 4 months ago