cannam / sml-buildscripts

Related projects: ⓘ

• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆121Updated 2 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆60Updated 2 years ago
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆67Updated 9 months ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆142Updated 6 years ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆73Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆79Updated 4 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆144Updated last year
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆59Updated last year
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• robsimmons / sml-lib
  Library for Standard ML
  ☆54Updated 12 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• samth / disassemble
  Disassembler for Racket
  ☆80Updated last year
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated last week
• racket / frtime
  ☆18Updated last month
• standardml / hackday
  SML hack day planning and coordination
  ☆16Updated 12 years ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated 11 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆110Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆73Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆67Updated 6 months ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 2 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆56Updated 9 months ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 10 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆145Updated 4 months ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆101Updated 5 months ago
• racket / racklog
  ☆15Updated last month
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year