LukeMcCulloch / feasible-form-parameter-design
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
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago
- Summer Scheming!!!!!!☆11Updated 4 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- SWI-Prolog dynamic C interface☆17Updated 5 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- ☆26Updated 3 weeks ago
- ☆34Updated 4 years ago
- Tiny Object Run Time☆21Updated 9 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Minimal Lisp/Forth☆11Updated 2 months ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Function EXpression Language (interpreter for functional programs)☆81Updated last month
- a simple concatenative programming language written in C++☆35Updated 6 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Poplog☆21Updated 14 years ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- The MLtonLibrary repository☆36Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Stackless Joy☆23Updated last month
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- purple: compiling a reflective language☆32Updated 4 months ago