TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures
☆10Mar 29, 2019Updated 7 years ago
Alternatives and similar repositories for purely-functional-data-structures
Users that are interested in purely-functional-data-structures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- notes for 'Release It' by Michael T. Nygard☆20Nov 4, 2013Updated 12 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- View the diff of CDC's COVID-19 updates☆14Jun 8, 2021Updated 5 years ago
- Generates Flowchart-Visualization of Netflix Branch-Manager Data - just an experiment☆12Jan 5, 2019Updated 7 years ago
- Reimagining the power of Xcode's View Debugger for live debugging of AR or SceneKit apps. Playground book + iOS app.☆20Aug 25, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Makes tables and collections much easier, animated, and reusable.☆14Oct 23, 2018Updated 7 years ago
- Bringing the TouchBar into the world of Spatial Computing™☆18Apr 1, 2024Updated 2 years ago
- Yearbirder is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photogr…☆14Updated this week
- 🖼 Small library to recreate the iOS 10 Apple Maps iPad floating panel☆11Jul 9, 2017Updated 9 years ago
- Katas for burning IDE keyboard shortcuts into your muscle memory☆10Sep 21, 2018Updated 7 years ago
- print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.☆11Feb 1, 2021Updated 5 years ago
- Desktop Sanskrit-English Dictionary☆13Jul 7, 2020Updated 6 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated last year
- ☆19May 28, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 7 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- ☆12May 14, 2023Updated 3 years ago
- Jonathan Blow's Emacs color scheme.☆12Jul 27, 2019Updated 7 years ago
- Putting eBird on the decentralized web☆11Jan 7, 2023Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- WWDC 2018 Submission☆20Apr 2, 2018Updated 8 years ago
- A simple Conway's Game of Life implementation with Rust and Bevy.☆11Jan 20, 2022Updated 4 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bluetooth or Wifi Networking with Apple's Multipeer Connectivity framework.☆15Jul 11, 2024Updated 2 years ago
- React Architecture Patterns examples☆10Dec 26, 2020Updated 5 years ago
- A small demo showing how to add 3D models in SceneKit for games or AR. Swift 4.☆20Aug 25, 2019Updated 6 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆15Jul 24, 2026Updated 2 weeks ago
- Soho vibes for Vimium C☆13Nov 5, 2025Updated 9 months ago
- Latte art and general fluid simulator, written in TypeScript.☆21Apr 28, 2023Updated 3 years ago
- transition-group ui component for Inferno☆10Dec 3, 2018Updated 7 years ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Heap server-side API client for Ruby☆16Oct 16, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A CSS suite of computer keyboard keys☆14Aug 10, 2018Updated 8 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Pushing SwiftUI To The Limit, SwiftTO 2019☆21Sep 13, 2019Updated 6 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 years ago
- Headless calendar hook for React (no dependencies, WAI-ARIA compliant)☆12Jan 3, 2025Updated last year
- Architecture stacks cheat-sheets and mind-maps☆10May 2, 2020Updated 6 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago