OCCAM Reconstructability Analysis Tools
☆23May 23, 2026Updated 4 months ago
Alternatives and similar repositories for occam
Users that are interested in occam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Code related to different aspects of conformal learning☆18Jan 28, 2025Updated last year
- Constraint-based Learning with Neural Networks☆15Dec 7, 2020Updated 5 years ago
- A BGEN file format reader.☆14Jun 17, 2024Updated 2 years ago
- Repo for Dynamic Statistical Comparisons project☆13Feb 5, 2024Updated 2 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.
- snpnet - Efficient Lasso Solver for Large-scale genetic variant data☆21Mar 5, 2024Updated 2 years ago
- A matrix-like wrapper around PLINK .bed files☆18Sep 6, 2024Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Immutable alternatives to built-in array operators☆12Aug 29, 2016Updated 10 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- Caches browserify-cdn modules using level.js☆18Nov 27, 2014Updated 11 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 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.
- Real Time For the Masses (RTFM), a framework for building concurrent applications, for MSP430 MCUs☆11Jul 29, 2017Updated 9 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 6 years ago
- Query sequence data (VCF/BCF1/BCF2, Tabix, BGEN, PLINK) in R☆34Feb 23, 2026Updated 7 months ago
- 👨🏻💻 A Hands-on Approach to Hacking Coding Interviews☆10Jun 16, 2025Updated last year
- Slack bot in Elm running on AWS Lambda☆11Oct 28, 2015Updated 10 years ago
- Some tools for provability logic☆35Apr 16, 2018Updated 8 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 9 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.
- Interactive, web-based visual math assistant☆15Apr 2, 2026Updated 6 months ago
- Here we give programs that check if Turing machines halt or not.☆17Sep 1, 2025Updated last year
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆57Jul 11, 2026Updated 3 months ago
- Alternative UI for Open API (fka Swagger) specs☆17Nov 1, 2019Updated 6 years ago
- Automatically adds HTML class attributes to partial HTML code☆16Sep 2, 2010Updated 16 years ago
- Yet another EC2 instance metadata mocking service.☆17Feb 25, 2018Updated 8 years ago
- Materials for the "AI on Kubernetes" tutorial at O'Reilly AI SF 2018☆65Oct 8, 2018Updated 8 years ago
- A narative browser-based voxel game that aims to introduce and teach javascript coding interactively.☆15Sep 20, 2013Updated 13 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.
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated 2 years ago
- LUE Scientific Database and Environmental Modelling Framework☆17Sep 28, 2026Updated 2 weeks ago
- Lunetta Modula by Count Modula. Lunetta modules for VCV Rack☆20Jan 2, 2023Updated 3 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- ⛔️ DEPRECATED Simple app dashboard that let's you know if it is okay.☆15Jun 2, 2015Updated 11 years ago
- A virtual machine for microcontrollers.☆20Oct 4, 2022Updated 4 years ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆21Oct 2, 2023Updated 3 years ago