☆17Feb 25, 2026Updated last week
Alternatives and similar repositories for CoCoALib
Users that are interested in CoCoALib are comparing it to the libraries listed below
Sorting:
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- Elegant Fast Fourier Transform in C. Making fft.c from fftpack user-friendly.☆26Dec 13, 2021Updated 4 years ago
- This repository contains my solutions for Introduction to Computing Systems - From Bits & Gates to C - C++ & Beyond by Yale Patt and Sanj…☆20Aug 19, 2025Updated 6 months ago
- A cellular automata program built with C++, OpenGL, CUDA and OpenMP.☆11Feb 20, 2023Updated 3 years ago
- JSON encoding / decoding for LiveCode only with livecode-script☆13Oct 19, 2025Updated 4 months ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Module for finding eigenvalues and wavefunctions using spectral methods.☆11Aug 24, 2016Updated 9 years ago
- Natively building Lua with any compiler on any platform☆10Feb 5, 2023Updated 3 years ago
- GNU Development Kits for Windows (64-bit)☆13Dec 8, 2025Updated 3 months ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- Bitcoin full node as a C Programming Language library☆10Dec 3, 2025Updated 3 months ago
- Component Services Volatile Environment LPE☆12Jun 28, 2025Updated 8 months ago
- Solve the min cost flow problem using both NetworkX and Linear Programming package PuLP☆10Nov 20, 2015Updated 10 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Small portable regex in C (cbmc verified, and extended)☆13Jun 6, 2023Updated 2 years ago
- ☆10Dec 7, 2022Updated 3 years ago
- Header-only Linked List implementation in C☆14Dec 7, 2023Updated 2 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- ☆10Aug 16, 2016Updated 9 years ago
- Packages for computing with symmetric functions, and combinatorics☆12Feb 11, 2026Updated 3 weeks ago
- GNU M4 is an implementation of the traditional Unix macro processor.☆12Mar 3, 2017Updated 9 years ago
- An IntelliJ IDEA plugin for goyacc.☆10May 2, 2020Updated 5 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- ☆10Apr 5, 2019Updated 6 years ago
- Python implementation of the monster group☆55Updated this week
- The Lambda Lisp operating system☆10Aug 20, 2020Updated 5 years ago
- Experimental QEMU mirror for more Cortex-M and atmel boards, rebased onto upstream. Please see http://wiki.qemu.org/Contribute/SubmitAPat…☆12Dec 17, 2025Updated 2 months ago
- ☆14Dec 1, 2014Updated 11 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- All Cryptography Algorithms are implemented in C.☆13Mar 28, 2021Updated 4 years ago
- odbc connector for tdengine☆12Feb 13, 2026Updated 3 weeks ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Embeddable reader and printer for Clojure forms☆18Sep 7, 2012Updated 13 years ago
- zero dependency commandline dimensional analysis tool for unit conversion and consistency validation☆10Feb 11, 2021Updated 5 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆16Aug 10, 2012Updated 13 years ago
- S-expression parser and serializer for PHP☆18Jul 13, 2011Updated 14 years ago
- GoldStar Crypto Trading Bot trades on Binance. It can trade on signals, work as a Gridbot and use TradingView for order confirmation. Buy…☆13Jan 4, 2024Updated 2 years ago
- Kuna.io PHP Trading Bot☆10Aug 15, 2017Updated 8 years ago
- An 8086 emulator written from scratch in C by me (with some help from the tumblrcode community)☆16Nov 4, 2012Updated 13 years ago