dcolish/purely-fun external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dcolish/purely-fun

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dcolish/purely-fun)

Close

dcolish / purely-funView on GitHubMore

• External links
• Readme badge

Purely Functional Data Structures

☆34Jul 20, 2012Updated 13 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.

• jasonlevine / Live-Code-a-Day

  View on GitHub
  30 - 60 min Extempore per day for a year.
  ☆10Apr 18, 2015Updated 10 years ago
• nthmost / rheti-python

  View on GitHub
  the official enneagram test (RHETI) written in python for command line and api use.
  ☆13May 16, 2017Updated 8 years ago
• sovelten / shen-clj

  View on GitHub
  Port of Shen Language for Clojure
  ☆11Oct 12, 2022Updated 3 years ago
• co-dan / interactive-diagrams

  View on GitHub
  Interactive-diagrams
  ☆39May 18, 2015Updated 10 years ago
• ezyang / HoTT-coqex

  View on GitHub
  Coq solutions to exercises in HoTT book
  ☆12Jan 31, 2014Updated 12 years ago
• g000001 / lw-paredit

  View on GitHub
  Paredit version 1 for LispWorks
  ☆12Jun 6, 2021Updated 4 years ago
• jsanders / rust-bignum

  View on GitHub
  Bignum bindings for rust backed by GMP
  ☆15Oct 13, 2017Updated 8 years ago
• pnathan / generic-comparability

  View on GitHub
  implementation of cdr-8
  ☆17Jan 17, 2018Updated 8 years ago
• donaldsonjw / bigloo

  View on GitHub
  Bigloo Scheme Compiler
  ☆11Dec 28, 2015Updated 10 years ago
• langston-barrett / reed-thesis

  View on GitHub
  My undergradate thesis on coinductive types in univalent type theory
  ☆17May 10, 2018Updated 7 years ago
• deech / lambdaconf-shen-talk

  View on GitHub
  ☆15May 28, 2016Updated 9 years ago
• gulp-community / gulp-wrap-amd

  View on GitHub
  Wrap file with an AMD wrapper
  ☆21Sep 22, 2020Updated 5 years ago
• mcalejo / interprolog

  View on GitHub
  Java <-> XSB Prolog bridge library
  ☆12Oct 13, 2020Updated 5 years ago
• linneman / tinyscheme

  View on GitHub
  illustration how to embed TinyScheme within C programs
  ☆22May 13, 2016Updated 9 years ago
• JoelOtter / smolder

  View on GitHub
  A library wrapper that attempts to reshape data going into your functions.
  ☆27Jun 2, 2016Updated 9 years ago
• deech / treap-ats

  View on GitHub
  ☆13May 25, 2021Updated 4 years ago
• jonsterling / agda-zipper-machine

  View on GitHub
  An abstract machine using indexed containers and their zippers
  ☆13Dec 29, 2016Updated 9 years ago
• txus / libtreadmill

  View on GitHub
  An implementation of Baker's Treadmill Garbage Collector.
  ☆20Feb 25, 2013Updated 13 years ago
• playXE / capy

  View on GitHub
  Scheme implementation (now maybe working properly)
  ☆19Dec 3, 2023Updated 2 years ago
• aarroyoc / djota

  View on GitHub
  A Djot implementation in Prolog
  ☆29Dec 30, 2025Updated 2 months ago
• bit-player / primeafterprime

  View on GitHub
  Julia notebook for exploring correlations among consecutive primes.
  ☆10Sep 7, 2020Updated 5 years ago
• princjef / font-ligatures

  View on GitHub
  Find ligature replacements for any system font
  ☆27Apr 25, 2023Updated 2 years ago
• jonsterling / hs-abt

  View on GitHub
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Oct 1, 2017Updated 8 years ago
• premake / premake-cookbook

  View on GitHub
  Premake Cookbook
  ☆15Mar 26, 2015Updated 10 years ago
• miniKanren / Racket-miniKanren

  View on GitHub
  Canonical miniKanren implementation in Racket
  ☆87Sep 21, 2021Updated 4 years ago
• Ivo-Balbaert / start_julia

  View on GitHub
  Code of the book "Getting started with the Julia Programming Language"
  ☆11Jul 7, 2018Updated 7 years ago
• leanprover / leanprover.github.io

  View on GitHub
  www
  ☆16Jan 11, 2024Updated 2 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• onecodex / nim-bitarray

  View on GitHub
  Bitarray implementation in Nim
  ☆10Dec 14, 2020Updated 5 years ago
• PacktPublishing / Learn-Red-Fundamentals-of-Red

  View on GitHub
  Learn Red - Fundamentals of Red, published by Packt
  ☆13Jan 30, 2023Updated 3 years ago
• ap4y / LevelDB

  View on GitHub
  An Objective-C/Swift bindings for LevelDB.
  ☆12Sep 14, 2014Updated 11 years ago
• ekmett / hybrid-vectors

  View on GitHub
  Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
  ☆14Aug 29, 2025Updated 6 months ago
• xyxel / RedisGraph.jl

  View on GitHub
  RedisGraph Julia client
  ☆12Oct 29, 2025Updated 4 months ago
• PacktPublishing / Phoenix-Web-Development

  View on GitHub
  Phoenix Web Development, published by Packt
  ☆11Jan 30, 2023Updated 3 years ago
• OpenSystemsLab / hmac.nim

  View on GitHub
  HMAC-SHA1 and HMAC-MD5 hashing in Nim
  ☆14Sep 13, 2023Updated 2 years ago
• reasonml-community / bs-transit-js

  View on GitHub
  Transit-js bindings Bucklescript
  ☆10May 15, 2021Updated 4 years ago
• jlongster / redux-experiments

  View on GitHub
  A few customizations for my own projects
  ☆63Aug 21, 2015Updated 10 years ago
• the-sett / elm-state-machines

  View on GitHub
  State machines with phantom types in Elm.
  ☆23Aug 28, 2018Updated 7 years ago
• jlongster / reason-http-server-example

  View on GitHub
  A simple HTTP server in Reason using cohttp and built with Rebel.
  ☆10Oct 21, 2016Updated 9 years ago