LukeMcCulloch / feasible-form-parameter-designLinks
My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic design space representation, and variational B-spline optimization via automatic differentiation. This is the PhD codebase. When I get time I will make this presentable.
☆10Updated 4 years ago
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
Sorting:
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- ☆34Updated 4 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- s7 Scheme☆58Updated 6 years ago
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- 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
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆14Updated 3 years ago
- Stackless Joy☆23Updated 3 months ago
- ☆26Updated 4 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Book lucid interpreter written in python☆24Updated 6 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- An implementation of the Newspeak programming language☆63Updated 2 months ago
- Little Smalltalk fork☆60Updated last month
- ALS Prolog Compiler & Development Environment☆16Updated last week
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- ☆57Updated 8 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- Val Schorre's META-II☆60Updated 11 years ago
- Operations with matrices, SWI pack☆13Updated last year
- miniKanren in Pharo☆11Updated last year
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- The Slate programming language☆147Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- combined object/lambda architcture☆25Updated 16 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago