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

• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years 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
• rewriting / tom
  ☆34Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 3 weeks ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆15Updated 3 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 13 years ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• AppliedLogicSystems / ALSProlog
  ALS Prolog Compiler & Development Environment
  ☆17Updated 2 months ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 5 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆21Updated last year
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated this week
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• advancingdragon / meta
  Val Schorre's META-II
  ☆61Updated 12 years ago
• dicpeynado / prolog-in-forth
  L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
  ☆16Updated 4 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• arximboldi / schmutz
  SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings
  ☆45Updated last year
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 6 months ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated last week
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆38Updated 5 years ago