sintefmath / equelleLinks
Compiler and back-end support for the Equelle domain-specific language for PDEs.
☆16Updated 6 years ago
Alternatives and similar repositories for equelle
Users that are interested in equelle are comparing it to the libraries listed below
Sorting:
- Dr. Bayes☆84Updated 9 years ago
- The BLOG programming language☆100Updated 2 years ago
- Neural network trained as a generative model on the MNIST dataset using Persistent Contrastive Divergence.☆41Updated 5 years ago
- A repository for generative models☆117Updated 3 months ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- ☆18Updated 9 years ago
- An implementation of the MANIC cognitive architecture.☆39Updated 8 years ago
- Making better ranking tables since 2014☆40Updated 9 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 7 months ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- An experimental AGI (Artificial General Intelligence)☆29Updated 13 years ago
- Repeat from the sign☆81Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- SAT-based solver for the Hexiom logic puzzle☆33Updated 13 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- abandoned, please check out https://github.com/jsoftware/jsource☆120Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- BioFabric is an open-source network visualization tool☆88Updated 6 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- World's dumbest fuzzer☆52Updated last year
- ☆33Updated 9 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- A domain-general, Bayesian method for analyzing high-dimensional data tables☆327Updated last year
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Updated 10 years ago