Alternatives and similar repositories for feasible-form-parameter-design

Users that are interested in feasible-form-parameter-design are comparing it to the libraries listed below

• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆17Updated 5 years ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 3 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 9 months ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 4 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• cbiffle / ruckus
  Procedural CAD for Weirdos
  ☆53Updated 6 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 8 years ago
• hebisch / poplog
  ☆26Updated 3 months ago
• kragen / urscheme
  ☆21Updated 12 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• arximboldi / schmutz
  SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings
  ☆45Updated 9 months ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 11 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated last month