a language for building system dynamic models
☆171May 8, 2026Updated last 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:
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 6 months ago
- You are trapped on an infinite tile floor along with murderous marbles☆15Apr 29, 2026Updated 3 weeks ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- ☆19Sep 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Solutions to the Programming Challenges Book (Skiena, Revilla)☆15Oct 28, 2018Updated 7 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
- ☆10Sep 7, 2022Updated 3 years ago
- Graph layout and display library.☆21Dec 30, 2018Updated 7 years ago
- Disk Operations API in Go☆17May 8, 2026Updated last week
- A script for running TLA+/TLC from the command line☆82Apr 20, 2021Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clojure library for encoding Records as EDN tagged literals☆18Dec 16, 2016Updated 9 years ago
- Better Code (redux) course and book materials☆26Apr 20, 2026Updated last month
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 2 years ago
- Github timeline in Common Lisp☆15Aug 2, 2021Updated 4 years ago
- lu learns clojure☆18Sep 20, 2024Updated last year
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- 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
- Stack-based, multi-paradigm language with an emphasis on metaprogramming.☆23Aug 24, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Sep 10, 2023Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆16Apr 16, 2026Updated last month
- ☆15Apr 26, 2021Updated 5 years ago
- 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,353May 5, 2026Updated 2 weeks ago
- Pascal Executable Parser☆10Jun 19, 2016Updated 9 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆33Sep 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Crustacean: an unofficial iOS client for lobste.rs☆12Mar 24, 2025Updated last year
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Clustered Elias-Fano inverted indexes.☆15Jun 4, 2018Updated 7 years ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Feb 9, 2026Updated 3 months ago
- Mirror of https://gist.github.com/vurtun/75ee8b43773152930d89b7d1fdbe6450☆17Nov 26, 2019Updated 6 years ago
- Apple array system☆72Apr 11, 2026Updated last month
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago