SacBase / Stdlib

Related projects: ⓘ

• niallang / Nial_Development
  ☆32Updated last year
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆61Updated 3 months ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 9 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• rewriting / tom
  ☆34Updated 3 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆12Updated 3 years ago
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆31Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆24Updated 7 months ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 3 years ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆17Updated 10 years ago
• aplteam / Tatin
  Tatin is a package manager for Dyalog APL
  ☆25Updated last week
• soegaard / sci
  Racket libraries for scientific computing
  ☆18Updated 6 months ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆30Updated 7 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆23Updated 10 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 3 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆22Updated 2 weeks ago
• hebisch / poplog
  ☆23Updated 10 months ago