A neural network implementation in Common Lisp.
☆28Dec 2, 2013Updated 12 years ago
Alternatives and similar repositories for cl-nn
Users that are interested in cl-nn are comparing it to the libraries listed below
Sorting:
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- CL-PDF is a cross-platform Common Lisp library for generating PDF files.☆126Apr 14, 2024Updated last year
- ☆28Apr 9, 2024Updated last year
- Common Lisp machine learning library.☆641Jun 7, 2025Updated 8 months ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- ☆12Jun 13, 2016Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- Common Lisp interface to WordNet - modernized☆38Jan 19, 2025Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Extract documentation from Common Lisp systems☆41Mar 12, 2023Updated 2 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Listen to transactions on the Stellar network as music in real-time☆11Oct 7, 2022Updated 3 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- ☆14Nov 23, 2016Updated 9 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- libsodium for Ada - A secure cryptographic library☆10Jul 18, 2016Updated 9 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- Hey adventurer! Why not help me with retrieving my resume fragments back! | 来帮我找简历吗勇士！☆13Jun 21, 2024Updated last year
- Rust SDK for Claude Code CLI - Build production-ready AI agents with type safety☆20Oct 24, 2025Updated 4 months ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- GSMArena scraper for creating a Phone dataset 📊📱☆17Jul 31, 2018Updated 7 years ago
- Rime Korean input schema | 韓國語輸入方案☆12Jun 26, 2020Updated 5 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- Jaldi is a libre Devanagari typeface family designed as a complement to Asap☆12Apr 14, 2021Updated 4 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Emacs plugin for borkdude/carve☆10Sep 5, 2023Updated 2 years ago
- Zstandard for Ada - Fast real-time compression algorithm☆16Feb 3, 2023Updated 3 years ago
- Generic interface to abstract from metrics vendors and their implementations☆11Feb 12, 2026Updated 3 weeks ago
- ☆10Jun 11, 2020Updated 5 years ago
- Deterministic Password Generator☆10Oct 11, 2017Updated 8 years ago
- Exploration of Hypercore's breakthrough designs and capabilities, uncovering its gems that may be scattered elsewhere, and learning to th…☆14Sep 29, 2020Updated 5 years ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- Personal expense tracking application☆10Nov 10, 2018Updated 7 years ago