Alternatives and similar repositories for hm_prolog

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

• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• racket / parser-tools
  ☆14Updated last month
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• racket / datalog
  ☆48Updated last month
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆45Updated last month
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 6 months ago
• racket / frtime
  ☆19Updated last month
• racket / swindle
  ☆11Updated last month
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 4 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 9 months ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• racket / slideshow
  ☆37Updated last month
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 8 years ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆42Updated 4 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• deech / shen-rust
  ☆35Updated 5 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago