ICFP Programming Contest 2011 repository
☆24Jul 1, 2011Updated 14 years ago
Alternatives and similar repositories for ICFP2011
Users that are interested in ICFP2011 are comparing it to the libraries listed below
Sorting:
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- A simple data serializer in C☆200Mar 6, 2014Updated 11 years ago
- TokuDB for MariaDB 5.5☆84May 4, 2015Updated 10 years ago
- ☆18Nov 23, 2020Updated 5 years ago
- ☆20Aug 4, 2022Updated 3 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Jan 30, 2014Updated 12 years ago
- ☆372Sep 17, 2012Updated 13 years ago
- run a command until a condition is met, then run another one!☆130Oct 9, 2014Updated 11 years ago
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- Android DalvikVM (cyanogenmod)☆80Nov 24, 2016Updated 9 years ago
- Resources for jank busting on the web.☆64Sep 18, 2015Updated 10 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Tukui DBM edit less skin☆19Dec 10, 2011Updated 14 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- A tiny library to send file descriptors across processes☆167Nov 25, 2017Updated 8 years ago
- ☆12Oct 13, 2022Updated 3 years ago
- A plugin for llm to support structured outputs.☆13Feb 1, 2025Updated last year
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- ☆11Dec 19, 2024Updated last year
- ☆16Jul 13, 2014Updated 11 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- Get a council of LLMs to advise consult for you! A plugin for the llm cli utility☆16Feb 1, 2025Updated last year
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- ☆14Sep 23, 2022Updated 3 years ago
- Various experimental changes to OCaml.☆14Nov 21, 2011Updated 14 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Code for the CUFP 2011 Snap Framework Tutorial☆21Apr 15, 2013Updated 12 years ago
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- neovim plugin for ghcid☆16Dec 8, 2025Updated 2 months ago
- SLSA Proposals☆11Jan 29, 2024Updated 2 years ago
- mruby to C parser☆38Oct 19, 2014Updated 11 years ago
- A simple tetris implementation as a React component☆16Sep 15, 2024Updated last year
- INACTIVE - http://mzl.la/ghe-archive - Cloud test scripts for the pdf.js project☆17Mar 28, 2019Updated 6 years ago
- Doom3 Source code based game. Just learning.☆62Jul 3, 2012Updated 13 years ago
- LZ4 bindings for Erlang☆65Dec 17, 2021Updated 4 years ago
- MirageOS tutorial notebooks using IOCaml☆16Nov 4, 2017Updated 8 years ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago