exercism / sml

Related projects ⓘ

Alternatives and complementary repositories for sml

• exercism / scheme
  Exercism exercises in Scheme.
  ☆35Updated 2 weeks ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• racket / datalog
  ☆43Updated 2 weeks ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆48Updated last year
• racket / lazy
  ☆7Updated 2 weeks ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆41Updated 4 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆60Updated 2 years ago
• racket / racket-lang-org
  ☆67Updated last week
• racket / parser-tools
  ☆11Updated 2 weeks ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆43Updated last week
• racket / plot
  ☆40Updated 2 weeks ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆13Updated 12 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated last week
• feeley / pyffi
  Gambit Scheme library to interface to Python
  ☆9Updated 6 months ago
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 4 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆74Updated last month
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆15Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated this week
• jsoftware / jandroid
  J for Android
  ☆33Updated 8 months ago