Alternatives and similar repositories for Stdlib:

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

• niallang / Nial_Development
  ☆32Updated 2 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated last week
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• hebisch / poplog
  ☆26Updated last month
• JUrban / MPTP2
  ☆19Updated 8 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 13 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆33Updated 5 years ago
• metaeducation / ren-cpp
  Red (red-lang.org) and Rebol C++ Binding
  ☆18Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 2 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 10 months ago
• soegaard / sci
  Racket libraries for scientific computing
  ☆18Updated 3 weeks ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 4 years ago
• stchang / mlish
  ☆21Updated 5 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆49Updated 2 months ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆15Updated 2 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago