frontier method
☆22Sep 2, 2020Updated 5 years ago
Alternatives and similar repositories for frontier
Users that are interested in frontier are comparing it to the libraries listed below
Sorting:
- BDD Package - Sapporo Edition☆21Oct 17, 2023Updated 2 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- Small shop in padrino for home printing of t-shirts☆11Aug 11, 2010Updated 15 years ago
- ☆12Feb 29, 2016Updated 10 years ago
- naïve set arithmetic + CL types reification☆13Jan 14, 2017Updated 9 years ago
- An ANSI Common Lisp compiler using LLVM.☆12Sep 5, 2021Updated 4 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 7 years ago
- A Linux /dev/input driver for CL☆10Dec 28, 2024Updated last year
- ☆10May 26, 2016Updated 9 years ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- Execute shell commands on one or more remote computers via SSH☆15Apr 24, 2017Updated 8 years ago
- tool for working with conllu files in CL☆13Oct 28, 2021Updated 4 years ago
- µGFX is a library to interface different displays and touchscreens to your embedded application. Extremely low system requirements are ou…☆16Oct 7, 2013Updated 12 years ago
- ☆11Dec 10, 2016Updated 9 years ago
- Repository for Sparse Universal Transformers☆20Oct 23, 2023Updated 2 years ago
- Evaluation board for Allwinner V3s☆13Jan 17, 2018Updated 8 years ago
- Open a browser window. From Common Lisp.☆18Jul 1, 2016Updated 9 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- 100% async http-server library written in C☆17Jun 9, 2015Updated 10 years ago
- A simple wrapper around CFFI to enable contiguously allocated arrays of structures in Common Lisp.☆19Sep 21, 2023Updated 2 years ago
- Repository containing the basic peripheral drivers of nrf52832 SoC to get started☆15Sep 4, 2016Updated 9 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- Open Source Point and Shoot Camera☆16Apr 4, 2017Updated 8 years ago
- CMake base project for the Nordic nRF52 family of BLE microcontrollers☆19Jan 16, 2017Updated 9 years ago
- A small compiled and statically typed Lisp☆11Dec 22, 2019Updated 6 years ago
- Static analysis tool for xerrors (https://godoc.org/golang.org/x/xerrors)☆13Mar 31, 2019Updated 6 years ago
- TOML v0.4.0 parser and encoder☆12Oct 23, 2019Updated 6 years ago
- These are the slides and script I used to present my talk at the 8th European Lisp Symposium at Goldsmiths in London in April, 2015.☆18Apr 20, 2015Updated 10 years ago
- OpenOrd: An Open-Source Toolbox for Large Graph Layout☆23Mar 24, 2015Updated 10 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 7 years ago
- a graph database using redis sets☆56Mar 10, 2013Updated 13 years ago
- breadth-first search in parallel☆18May 30, 2013Updated 12 years ago
- User-defined constant folding facility☆21May 7, 2019Updated 6 years ago
- An extensible visual programming system.☆10May 8, 2016Updated 9 years ago
- Dumps Oracle OCI function calls issued by Oracle client applications.☆17Jul 21, 2024Updated last year
- lz4 translated to C#☆14Oct 4, 2025Updated 5 months ago
- Notepas sources and other derived lazarus projects using the editor module.☆32May 21, 2025Updated 9 months ago
- Neuralisp is a modular machine learning framework for Common Lisp, focused on deep learning models. It offers a high-performance tensor l…☆21Nov 10, 2025Updated 4 months ago