amedama41 / okasakiView external linksLinks
Solutions for Okasaki's "Purely functional data structures" book
☆22Aug 19, 2017Updated 8 years ago
Alternatives and similar repositories for okasaki
Users that are interested in okasaki are comparing it to the libraries listed below
Sorting:
- ☆10Nov 22, 2020Updated 5 years ago
- Demo shows third-person movement, how animation and state machines work in Godot Engine.☆11Jan 5, 2022Updated 4 years ago
- A set of protocols for remote connection, for two people to connect while apart.☆10Sep 20, 2022Updated 3 years ago
- a sudo/doas alternative☆11Jan 19, 2023Updated 3 years ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated last year
- Daily e-mail from notion database☆15Apr 6, 2023Updated 2 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆13Dec 12, 2025Updated 2 months ago
- The official Rock the JVM Akka Persistence Starter project☆11Apr 4, 2019Updated 6 years ago
- ⏰ Fetch and clean data on a schedule, using GitHub Actions + R☆10Aug 30, 2022Updated 3 years ago
- Simple Lua coroutine/task scheduler example☆10Jul 25, 2021Updated 4 years ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- An LED display showing subway arrivals, weather, air quality and the time☆12Aug 13, 2025Updated 6 months ago
- A convenience layer over sb-ext:run-program☆11Jan 20, 2015Updated 11 years ago
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- nydp - a modern, more dangerous kind of lisp☆10Apr 8, 2025Updated 10 months ago
- 📕 Writing tests, the DataMade way☆16Sep 24, 2020Updated 5 years ago
- ☆12Apr 2, 2024Updated last year
- The Grammar Matrix☆15Jan 22, 2026Updated 3 weeks ago
- CSS workshop on word embeddings for the social sciences, 3/19/21☆12Mar 19, 2021Updated 4 years ago
- ☆11Apr 20, 2020Updated 5 years ago
- Easily access R templates for the Urban Institute☆19Dec 19, 2022Updated 3 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- [alpha] lightweight fiber library for OCaml 5☆16Nov 5, 2024Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- Website/code for daily code sketches☆12Aug 4, 2025Updated 6 months ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 6 months ago
- Q line editor and full-screen interface editor☆11May 16, 2021Updated 4 years ago
- Project Euler with julia language☆11Jan 12, 2015Updated 11 years ago
- chrome extension that automatically saves liked / bookmarked tweets to Are.na☆15May 27, 2023Updated 2 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- Repository for the Winter 2020 Computational Social Science Workshop☆11Mar 4, 2020Updated 5 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- R package for generalized linear mixed models☆11Sep 22, 2024Updated last year
- ☆14Nov 10, 2019Updated 6 years ago
- Allegro Common Lisp interface to Solr☆15Dec 10, 2025Updated 2 months ago
- A lazy Sequence library in TypeScript☆10Apr 2, 2023Updated 2 years ago
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 6 years ago
- Yet another implementation of fork&exec and related functionality☆11Jan 15, 2026Updated last month
- Building a ray casting 2D to 3D projector (a la Wolfenstein 3D) using Elm and HTML5 Canvas☆10Sep 26, 2019Updated 6 years ago