Alternatives and similar repositories for sage:

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

• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• sinelaw / hmf
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆16Updated 8 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆22Updated 2 weeks ago
• luqui / graphics-drawingcombinators
  Combinators for drawing 2D shapes and images in Haskell (using OpenGL)
  ☆32Updated 6 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆25Updated 2 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• emilaxelsson / ag-graph
  Attribute Grammars on Graphs
  ☆10Updated 8 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆12Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago