hamishtodd1 / CVR
☆9Updated 4 years ago
Alternatives and similar repositories for CVR:
Users that are interested in CVR are comparing it to the libraries listed below
- WebGL library for mathematical physics using Geometric Algebra☆23Updated 4 months ago
- Compiler for MFM programming language☆21Updated 3 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- tiny experimental language for limited environments☆17Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- Leibniz - a Digital Scientific Notation☆33Updated last month
- experimental computational medium and supporting tools☆22Updated this week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- hopefully a simple vive-compatible webVR thing will live here once I make it.☆16Updated 9 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- Proposal for a method to create trails using the Web Annotation Data Model☆31Updated 7 years ago
- TypeScript Geometric Algebra Generator☆14Updated last year
- Graphical programming editor☆33Updated 8 years ago
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 7 years ago
- ☆16Updated 8 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A simple drawing and animation framework for Carp☆15Updated 4 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated 3 weeks ago
- ☆43Updated last year
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- DeepAlgebra☆25Updated 7 years ago
- set of utilities helping me build and navigate my personal flat-file markdown wiki☆16Updated 4 years ago