frontier method
☆23Sep 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A top-down/breadth-first decision diagram manipulation framework☆60Aug 3, 2025Updated 10 months ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 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
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 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.
- Read and write Numpy .npy and .npz files.☆18Sep 19, 2023Updated 2 years ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆18Mar 23, 2019Updated 7 years ago
- ☆10May 26, 2016Updated 10 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☆13Jul 7, 2017Updated 8 years ago
- ☆17Jul 12, 2024Updated last year
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- Example of exposing C++ to Clasp☆16Nov 4, 2022Updated 3 years ago
- tool for working with conllu files in CL☆13Oct 28, 2021Updated 4 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.
- Array slices for Common Lisp☆18May 14, 2021Updated 5 years ago
- Repository for Sparse Universal Transformers☆20Oct 23, 2023Updated 2 years ago
- Open a browser window. From Common Lisp.☆18Jul 1, 2016Updated 9 years ago
- Port of Google's farmhash algorithm to .NET☆67Jan 4, 2024Updated 2 years ago
- Common lisp library for manipulating PDDL expressions.☆18Updated this week
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- Library for competitive programming in Rust.☆16Aug 18, 2021Updated 4 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆17Jan 2, 2026Updated 5 months ago
- A simple wrapper around CFFI to enable contiguously allocated arrays of structures in Common Lisp.☆19Sep 21, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- A modular project skeleton generator☆20Mar 7, 2023Updated 3 years ago
- Verifier for libraries of competitive programming☆42Jun 1, 2026Updated last week
- 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 7 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 11 years ago
- ☆27Sep 2, 2017Updated 8 years ago
- えびちゃんのライブラリです。☆23May 25, 2026Updated 2 weeks ago
- User-defined constant folding facility☆21May 7, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An extensible visual programming system.☆10May 8, 2016Updated 10 years ago
- Dumps Oracle OCI function calls issued by Oracle client applications.☆17Jul 21, 2024Updated last year
- 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 6 months ago
- Fast SIMD-based UTF-8 Validation in C#☆46Jun 2, 2026Updated last week
- Python Groonga Client☆22Nov 25, 2025Updated 6 months ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 18, 2025Updated 8 months ago
- Best Papers nominees from top conferences related to Artificial Intelligence☆20Aug 26, 2019Updated 6 years ago