a language for building system dynamic models
☆171Jun 15, 2026Updated this week
Alternatives and similar repositories for Fault
Users that are interested in Fault are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of System Dynamics models implemented in various environments with a canonical output☆33Mar 14, 2025Updated last year
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 7 months ago
- CSources compiled from Nim version 1. Supports more CPU/OS combinations than the older csources repository.☆14Sep 17, 2022Updated 3 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆15Apr 29, 2026Updated last month
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆20Sep 3, 2018Updated 7 years ago
- easySpeech is an open-source Python wrapper for google speech to text API that doesn't require PyAudio(So you especially windows user don…☆16Aug 31, 2021Updated 4 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- A walkthrough of OpenAI Codex☆17Aug 19, 2021Updated 4 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- Palladium is a software that helps doctors to detect lung disease☆18Mar 7, 2022Updated 4 years ago
- Graph layout and display library.☆21Dec 30, 2018Updated 7 years ago
- Disk Operations API in Go☆17May 8, 2026Updated last month
- A script for running TLA+/TLC from the command line☆83Apr 20, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated last week
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Clojure library for encoding Records as EDN tagged literals☆18Dec 16, 2016Updated 9 years ago
- A Nelsonian hypertext infrastructure for digital humanities☆16Updated this week
- Better Code (redux) course and book materials☆27May 21, 2026Updated 3 weeks ago
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 2 years ago
- lu learns clojure☆18Sep 20, 2024Updated last year
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated 3 months ago
- A Mix plugin to use Caramel☆15Oct 24, 2021Updated 4 years ago
- Stack-based, multi-paradigm language with an emphasis on metaprogramming.☆23Aug 24, 2021Updated 4 years ago
- My Attempt at System Fω with Row-Polymorphism☆31Jul 4, 2021Updated 4 years ago
- things I wanna make (updated for 2024)☆33Sep 22, 2024Updated last year
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- ☆14Sep 10, 2023Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆16Apr 16, 2026Updated 2 months ago
- ☆15Apr 26, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,476May 20, 2026Updated 3 weeks ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Mar 12, 2025Updated last year
- The Sources for Pharo☆10Mar 19, 2026Updated 3 months ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆32Sep 18, 2024Updated last year
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago