☆35Dec 5, 2024Updated last year
Alternatives and similar repositories for ttic-31230
Users that are interested in ttic-31230 are comparing it to the libraries listed below
Sorting:
- computational physics (Chungbuk National University, Korea)☆10May 26, 2022Updated 3 years ago
- Lecture notes and programming exercises carried out as part of the Computational Physics 1 course taught at Yachay Tech University.☆23Feb 25, 2026Updated last week
- A Dockerised Apache Airflow Webserver☆10Jan 19, 2024Updated 2 years ago
- “Replace your politicians with code.” — Home of the Popularis Direct Democracy Whitepaper.☆11Oct 31, 2022Updated 3 years ago
- Lecture notes and programming exercises carried out as part of the Computational Physics 2 course at Yachay Tech University.☆15Feb 25, 2026Updated last week
- ☆15Feb 24, 2026Updated last week
- ☆10Jan 16, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A document describing the HTTP/3 and QUIC protocols☆10Mar 14, 2019Updated 6 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Sep 14, 2013Updated 12 years ago
- Material for my course of Computational Physics (3rd semester, obligatory), in National and Kapodistrian University of Athens☆16Jan 9, 2026Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆39Dec 7, 2021Updated 4 years ago
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Dec 26, 2025Updated 2 months ago
- The Interpolate, Truncate, Project (ITP) Root-Finding Algorithm☆13Jan 24, 2026Updated last month
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Deep Multi-Agent Reinforcement Learning with StarCraft 2☆10Sep 27, 2020Updated 5 years ago
- A package for Hangul (korean alphabet)☆13Dec 19, 2022Updated 3 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Pythonic argument parser, with type description☆12Aug 22, 2020Updated 5 years ago
- This place is a message... and part of a system of messages... pay attention to it! Sending this message was important to us. We consider…☆10Jul 8, 2025Updated 7 months ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- A few classes which compile faster than the classes that they replace☆12Apr 5, 2014Updated 11 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A Collection of free resources for the Akai Music Production Center software and standalone units, including API Documentation, Startup T…☆16Jul 16, 2022Updated 3 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- A 360 panoramic puzzle game☆17Mar 13, 2021Updated 4 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago