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
- Summer Scheming!!!!!!☆11Updated 4 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Operations with matrices, SWI pack☆13Updated last year
- miniKanren in Pharo☆10Updated 10 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Tiny scheme implementation written in c++17☆27Updated 6 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- GluCat: Clifford algebra templates☆20Updated last month
- Racket bindings for Z3☆19Updated 12 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated 2 weeks ago
- ☆18Updated 6 years ago
- ☆26Updated last month
- Library for exact real number computations☆39Updated 10 years ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated this week
- SWI-Prolog dynamic C interface☆17Updated 7 months ago
- s7 Scheme☆58Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- a multi-stage heterogeneous programming language applied to real-time 3D graphics☆24Updated 6 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Vermicel is a minimal RISC-V core.☆9Updated 9 months ago