☆10May 26, 2016Updated 10 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:
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 8 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- Software transactional memory system developed at Wyatt Technology☆13Dec 18, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A procedural fantasy world for tabletop games, from the continent down to the battlemap, in the browser (Rust/WASM + Svelte/PixiJS)☆36Oct 14, 2026Updated 2 weeks ago
- Common Lisp SPARQL query generation library☆13Aug 3, 2019Updated 7 years ago
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 2019Updated 7 years ago
- A Linux /dev/input driver for CL☆11Dec 28, 2024Updated last year
- 2D game engine☆17Dec 1, 2021Updated 4 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 5 years ago
- 結婚カンファレンス☆13Jun 30, 2010Updated 16 years ago
- OpenCV programs for detecting facial features such as eyes, eyebrows and lip contours.☆21Feb 27, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Design by contract for Go☆16Mar 13, 2025Updated last year
- OpenCL Common Lisp Bindings☆13May 4, 2014Updated 12 years ago
- A testing framework for Standard ML.☆13Dec 29, 2025Updated 10 months ago
- ☆17Jul 12, 2024Updated 2 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Read and write Numpy .npy and .npz files.☆19Sep 19, 2023Updated 3 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 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
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- A curated list of awesome Deep Learning tutorials, projects and communities.☆13Nov 16, 2017Updated 8 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated last year
- DeepBird is a Recurrent Neural Network and automated twitter bot!☆15Dec 2, 2017Updated 8 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- A Python-based Spice Simulator☆11Jun 17, 2021Updated 5 years ago
- Array slices for Common Lisp☆18May 14, 2021Updated 5 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 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.
- Opengl real-time sky☆30Jul 25, 2026Updated 3 months ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- Example of exposing C++ to Clasp☆16Nov 4, 2022Updated 3 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
- Qucs-Help documentation☆10Jul 25, 2018Updated 8 years ago
- Vue.js SPA Website build to fully integrate the Web DL API and all of its features. It's the official browser client for the Web DL stack…☆15Mar 15, 2023Updated 3 years ago