cocoa-official / CoCoALibView external linksLinks
☆17Feb 5, 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☆28Feb 16, 2014Updated 11 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Jan 12, 2026Updated last month
- Elegant Fast Fourier Transform in C. Making fft.c from fftpack user-friendly.☆27Dec 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…☆21Aug 19, 2025Updated 5 months ago
- ☆10Sep 13, 2024Updated last year
- A cellular automata program built with C++, OpenGL, CUDA and OpenMP.☆11Feb 20, 2023Updated 2 years ago
- Module for finding eigenvalues and wavefunctions using spectral methods.☆12Aug 24, 2016Updated 9 years ago
- Natively building Lua with any compiler on any platform☆11Feb 5, 2023Updated 3 years ago
- JSON encoding / decoding for LiveCode only with livecode-script☆14Oct 19, 2025Updated 3 months ago
- ☆13Mar 27, 2020Updated 5 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Modified Forge 1.0.6 for Minecraft Beta 1.7.3☆13Jan 1, 2022Updated 4 years ago
- A tiny MVC web framework for Go☆11Aug 31, 2018Updated 7 years ago
- An IntelliJ IDEA plugin for goyacc.☆11May 2, 2020Updated 5 years ago
- Bitcoin full node as a C Programming Language library☆11Dec 3, 2025Updated 2 months ago
- Rush de sélection pour le challenge Coding Game☆10Apr 13, 2021Updated 4 years ago
- ☆11Aug 16, 2016Updated 9 years ago
- GNU M4 is an implementation of the traditional Unix macro processor.☆13Mar 3, 2017Updated 8 years ago
- ☆10Apr 26, 2022Updated 3 years ago
- Header-only Linked List implementation in C☆15Dec 7, 2023Updated 2 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Homebrew tap for GAP☆15Oct 20, 2025Updated 3 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Sep 26, 2025Updated 4 months ago
- GNU Development Kits for Windows (64-bit)☆14Dec 8, 2025Updated 2 months ago
- Cellular automata environment written in Common Lisp☆18Apr 17, 2021Updated 4 years ago
- Packages for computing with symmetric functions, and combinatorics☆12Feb 5, 2026Updated last week
- Small portable regex in C (cbmc verified, and extended)☆14Jun 6, 2023Updated 2 years ago
- Topic Evolution Analysis - an algorithm for analyzing knowledge flow in text based corpora☆14Oct 16, 2016Updated 9 years ago
- Contributions to the wiki☆15Sep 18, 2012Updated 13 years ago
- ☆11Dec 7, 2022Updated 3 years ago
- Mirror of my favourite hacking Zines for the lulz, nostalgy, and reference☆10Feb 18, 2020Updated 5 years ago
- Kuna.io trading bot☆10Jan 22, 2018Updated 8 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Component Services Volatile Environment LPE☆13Jun 28, 2025Updated 7 months ago
- Solve the min cost flow problem using both NetworkX and Linear Programming package PuLP☆11Nov 20, 2015Updated 10 years ago
- Implementation of GOST R34.11-94 hash function. (From 1998. Slightly modernized for 64-bit types and C99 in 2016.)☆10Jan 13, 2016Updated 10 years ago
- a portable code walker for Common Lisp by John Fremlin☆15May 19, 2016Updated 9 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
- Flat surfaces in SageMath☆11Feb 2, 2026Updated last week