Purely Functional Data Structures
☆35Jul 20, 2012Updated 14 years ago
Alternatives and similar repositories for purely-fun
Users that are interested in purely-fun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 4 months ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 3 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 5 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- A library wrapper that attempts to reshape data going into your functions.☆27Jun 2, 2016Updated 10 years ago
- Formatting for ANSI colored strings in Julia☆13Mar 8, 2022Updated 4 years ago
- An abstract machine using indexed containers and their zippers☆13Dec 29, 2016Updated 9 years ago
- implementation of cdr-8☆17Sep 7, 2026Updated last month
- Scheme implementation (now maybe working properly)☆21Dec 3, 2023Updated 2 years ago
- Mathy.js is a simple formula parsing library☆21Sep 9, 2013Updated 13 years 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.
- The WebAssembly Binary Toolkit (with JitBuilder-based JIT compiler)☆10Jan 8, 2020Updated 6 years ago
- Julia notebook for exploring correlations among consecutive primes.☆10Sep 7, 2020Updated 6 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 9 years ago
- ☆10Jun 11, 2020Updated 6 years ago
- This is an API mapping library to interact with objects of kibana API☆12Jan 15, 2023Updated 3 years ago
- Bitarray implementation in Nim☆10Dec 14, 2020Updated 5 years ago
- Premake Cookbook☆15Mar 26, 2015Updated 11 years ago
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 5 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.
- Learn Red - Fundamentals of Red, published by Packt☆13Jan 30, 2023Updated 3 years ago
- Code of the book "Getting started with the Julia Programming Language"☆11Jul 7, 2018Updated 8 years ago
- An Objective-C/Swift bindings for LevelDB.☆12Sep 14, 2014Updated 12 years ago
- Optimization Coach Plug-In for DrRacket☆20Aug 11, 2026Updated last month
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆12Sep 6, 2026Updated last month
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- A few customizations for my own projects☆63Aug 21, 2015Updated 11 years ago
- Phoenix Web Development, published by Packt☆11Jan 30, 2023Updated 3 years ago
- HMAC-SHA1 and HMAC-MD5 hashing in Nim☆14Sep 13, 2023Updated 3 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.
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- A CV written in YAML and compiled to PDF using pandoc☆11Jan 31, 2022Updated 4 years ago
- Transit-js bindings Bucklescript☆10May 15, 2021Updated 5 years ago
- K6 scripts to run load tests against Keycloak☆15Feb 4, 2021Updated 5 years ago
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- Minimalistic Object.assign☆10Dec 25, 2021Updated 4 years ago
- Optics library build for Fable☆16Apr 2, 2026Updated 6 months ago