☆10May 26, 2016Updated 9 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- OpenCV programs for detecting facial features such as eyes, eyebrows and lip contours.☆21Feb 27, 2015Updated 11 years ago
- Software transactional memory system developed at Wyatt Technology☆13Dec 18, 2015Updated 10 years ago
- Ayax Development Kit - 2D game engine☆17Dec 1, 2021Updated 4 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- naïve set arithmetic + CL types reification☆13Jan 14, 2017Updated 9 years ago
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 5 months ago
- An ANSI Common Lisp compiler using LLVM.☆12Sep 5, 2021Updated 4 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 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
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 2019Updated 6 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Read and write Numpy .npy and .npz files.☆18Sep 19, 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.
- 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
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 3 months ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- A curated list of awesome Deep Learning tutorials, projects and communities.☆12Nov 16, 2017Updated 8 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 8 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- A curated list of awesome garbage collection resources☆68Sep 5, 2021Updated 4 years ago
- ☆17Jul 12, 2024Updated last year
- 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.
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated 2 months 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
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 14 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Array slices for Common Lisp☆18May 14, 2021Updated 4 years ago
- iverilog extension for Visual Studio Code to satisfy the needs for an easy testbench runner. Includes builtin GTKWave support.☆11Mar 4, 2023Updated 3 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Mobile app for streaming our favorite local radio station in Ljubljana, Slovenia☆14May 16, 2021Updated 4 years ago
- DeepBird is a Recurrent Neural Network and automated twitter bot!☆15Dec 2, 2017Updated 8 years ago
- Repository for Sparse Universal Transformers☆20Oct 23, 2023Updated 2 years ago
- Primitives for GF180MCU provided by GlobalFoundries.☆12Jul 6, 2025Updated 9 months ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- Open a browser window. From Common Lisp.☆18Jul 1, 2016Updated 9 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆14Mar 11, 2025Updated last year