The Plaid Programming Language Tools
☆12Apr 11, 2015Updated 10 years ago
Alternatives and similar repositories for plaid-lang
Users that are interested in plaid-lang are comparing it to the libraries listed below
Sorting:
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆21Sep 29, 2017Updated 8 years ago
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆34Oct 5, 2021Updated 4 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Updated this week
- go style nanomsg☆14Sep 14, 2016Updated 9 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 3 weeks ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Source code for my blog and homepage☆13Aug 12, 2025Updated 6 months ago
- A repository for the source code and Core Keeper Auto Fish application which automatically fishes for you in the game Core Keeper.☆15May 28, 2022Updated 3 years ago
- An easy interface on top of the Irmin library.☆43Jul 16, 2020Updated 5 years ago
- See http://dx.doi.org/10.1039/C7SC04156J for more details☆11Aug 28, 2023Updated 2 years ago
- ☆15Dec 30, 2025Updated 2 months ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- Module for DNA, RNA and protein sequences manipulation☆10Aug 24, 2017Updated 8 years ago
- a bare-bones development server for watchify☆13Aug 23, 2015Updated 10 years ago
- Basic, no assumptions, multi-pileup☆24Mar 26, 2014Updated 11 years ago
- ☆11Aug 8, 2016Updated 9 years ago
- `process.exitCode` behavior back-ported from io.js and Node.js 0.12+☆14Oct 25, 2025Updated 4 months ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Chapel Data Object☆10Jun 9, 2021Updated 4 years ago
- ☆11Jul 2, 2017Updated 8 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Base docker images for puppeteer-sharp☆10Mar 29, 2020Updated 5 years ago
- website code for bits.coop☆13Mar 24, 2020Updated 5 years ago