Alternatives and similar repositories for flunct

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

• jkoppel / ecta
  ☆35Updated last year
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• mthom / scryer-shen
  ☆48Updated 6 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated this week
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• mflatt / zuo
  ☆40Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆103Updated this week
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last week
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 4 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 7 months ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆34Updated 4 months ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago