Adapton Project Homepage
☆16Feb 6, 2016Updated 10 years ago
Alternatives and similar repositories for adapton
Users that are interested in adapton are comparing it to the libraries listed below
Sorting:
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- ☆26Mar 27, 2020Updated 5 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆30Sep 4, 2017Updated 8 years ago
- Repozytorium materiałów o szczepieniach dla rodziców☆11Nov 28, 2017Updated 8 years ago
- Try is an extensible Common Lisp test anti-framework with equal support for interactive and non-interactive workflows, as well as Emacs i…☆40Feb 19, 2026Updated 2 weeks ago
- ☆11Jun 23, 2022Updated 3 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- A heap-based priority queue whose first and foremost priority is speed.☆35Aug 15, 2025Updated 6 months ago
- 3600 frames of point cloud skeleton data☆15Nov 15, 2024Updated last year
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- New generation of State Chart Autocoder written completely in Python☆12Feb 11, 2026Updated 3 weeks ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Full disassembly of Mega Man 3 (NES)☆46Dec 23, 2020Updated 5 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆11Oct 27, 2021Updated 4 years ago
- A very simple SDRAM controller for FPGA written in Verilog. It exposes a SRAM-like interface to the rest of the FPGA fabric☆14Dec 4, 2018Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Apr 22, 2021Updated 4 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- A Common Lisp command-line tool for executing shell commands via SSH.☆12Jul 14, 2015Updated 10 years ago
- Native port of Life Force for the NES to the SNES☆20Jun 22, 2025Updated 8 months ago
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated last month
- ☆10Nov 17, 2025Updated 3 months ago
- repository for scratch code☆14Jun 21, 2016Updated 9 years ago
- Cloudify Resources for Cloudify Plugins☆10Jun 20, 2019Updated 6 years ago
- ☆13Oct 24, 2011Updated 14 years ago
- ☆11Jul 27, 2014Updated 11 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆16Jun 4, 2019Updated 6 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 9 years ago
- ☆13Jan 24, 2024Updated 2 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- A simple USB to I2C adapter that works.☆11Feb 28, 2024Updated 2 years ago
- A simple USB <-> PS/2 converter with GPIO multimedia keys☆14Mar 6, 2018Updated 7 years ago
- H4ck33D – hacking a 433MHz Remote Control☆10Sep 30, 2015Updated 10 years ago
- Blackboard implements a TupleSpace on top of redis☆38Jul 14, 2009Updated 16 years ago