chatziko / lci

Related projects: ⓘ

• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆67Updated 9 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆114Updated last week
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆112Updated last year
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆121Updated 2 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆148Updated 10 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆283Updated this week
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆116Updated 3 months ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆274Updated this week
• stedolan / malfunction
  Malfunctional Programming
  ☆336Updated 2 months ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆339Updated 7 months ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆191Updated last month
• smlnj / smlnj
  Standard ML of New Jersey
  ☆177Updated this week
• dls / house
  Haskell Operating System
  ☆146Updated 15 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆196Updated 3 months ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated this week
• tathougies / hos
  The functional Haskell kernel
  ☆129Updated 8 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆142Updated 6 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆97Updated 4 months ago
• cannam / sml-buildscripts
  Scripts to compile and run Standard ML programs defined in .mlb files.
  ☆15Updated 10 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆60Updated this week
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆147Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆184Updated last month
• derekelkins / agda-vim
  Agda interaction in vim
  ☆130Updated 2 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆223Updated 2 weeks ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆35Updated last week
• standardml / twelf
  The Twelf Programming Language
  ☆105Updated last week