ucsc-proglang / sage

Related projects ⓘ

Alternatives and complementary repositories for sage

• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 2 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• racket / parser-tools
  ☆11Updated 3 weeks ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆22Updated 2 weeks ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆58Updated 10 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 3 months ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• sinelaw / hmf
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆16Updated 8 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆27Updated 4 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• mmaleki / LogicalDifferentiation
  Differentiation in logical form by Stone duality.
  ☆8Updated 7 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year