Repository of models for the Minsky simulation system
☆29Jul 26, 2026Updated last month
Alternatives and similar repositories for minsky-models
Users that are interested in minsky-models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python Implementation of Transfer Entropy Method☆27Nov 8, 2020Updated 5 years ago
- Archived! Go to transferwise/api-documentation instead.☆11Nov 19, 2020Updated 5 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆11Sep 10, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 4 months ago
- ☆13Jan 23, 2022Updated 4 years ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- A collection of Aeron demos☆10Nov 5, 2023Updated 2 years ago
- ☆72Sep 24, 2023Updated 2 years ago
- High performance Rust API for KDB+☆13Jun 27, 2021Updated 5 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 5 months ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Equity Exchange Order Matching Engine implemented in Q running on KDB+☆11Mar 20, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- rishipython / One-Eye-is-All-You-Need-Lightweight-Ensembles-for-Gaze-Estimation-with-Single-Encoders☆11Sep 30, 2022Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Synthesis of Formally Verified Cryptographic Primitives☆16Updated this week
- IntelliJ Idea plugin for KDB+ Q Language☆14Updated this week
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- Computer vision models on PyTorch☆13Jan 13, 2026Updated 7 months ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Garmin Watch Seizure Detector - A seizure detector data source based on Garmin IQ watches such as Vivoactive HR☆16Aug 14, 2026Updated 2 weeks ago
- ☆14May 2, 2025Updated last year
- Some CUDA kernels for signal processing (wavelets, convolutions..)☆16Mar 28, 2020Updated 6 years ago
- MATLAB model of the auditory periphery☆17Nov 28, 2011Updated 14 years ago
- easybot trading tool☆21Jan 17, 2019Updated 7 years ago
- This guide aims to be a full instruction on how to download and merge Refinitiv (formerly Thomson Reuters) Datastream Worldscope data int…☆12Mar 26, 2021Updated 5 years ago
- A minimalist Linux .config for Dell XPS 9560 (2017 edition).☆14Nov 17, 2018Updated 7 years ago
- Natural-language processing library☆18Oct 10, 2024Updated last year
- JavaPlot is a pure Java programming interface library for GNUPlot☆11Sep 27, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆18Jun 10, 2026Updated 2 months ago
- Custom camera app with auto focus functionality.☆15Feb 24, 2016Updated 10 years ago
- A CLI in Rust to generate synthetic data for MLX friendly training☆25Jan 13, 2024Updated 2 years ago
- ☆21Jun 13, 2017Updated 9 years ago
- Community edition of Nightfall_4☆18Jul 7, 2026Updated last month
- Port of www.quantcup.org (implementing a fast stock exchange matching engine) from C to Rust☆20May 30, 2021Updated 5 years ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago