carliros/software-foundations-book 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

carliros/software-foundations-book

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/carliros/software-foundations-book)

Close

carliros / software-foundations-bookView on GitHubMore

• External links
• Readme badge

http://www.cis.upenn.edu/~bcpierce/sf

☆14Nov 10, 2019Updated 6 years ago

Alternatives and similar repositories for software-foundations-book

Users that are interested in software-foundations-book are comparing it to the libraries listed below

• boystrange / FuSe

  View on GitHub
  A simple library implementation of binary sessions
  ☆11Jun 18, 2024Updated last year
• robur-coop / notty-miou

  View on GitHub
  ☆14Apr 1, 2025Updated 11 months ago
• Leonidas-from-XIV / ocaml-wiringpi

  View on GitHub
  Binding to the WiringPi library
  ☆13Sep 8, 2021Updated 4 years ago
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆11Oct 4, 2019Updated 6 years ago
• c-cube / ocaml-gnuplot

  View on GitHub
  bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
  ☆13May 6, 2024Updated last year
• savonet / ocaml-duppy

  View on GitHub
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Apr 8, 2025Updated 10 months ago
• biocaml / phylogenetics

  View on GitHub
  Algorithms and datastructures for phylogenetics
  ☆14Dec 24, 2025Updated 2 months ago
• cryptosense / terminal_size

  View on GitHub
  Get the size of the attached terminal in OCaml
  ☆14Apr 26, 2022Updated 3 years ago
• PLTools / GT

  View on GitHub
  Datatype-generic object-oriented transformations for OCaml
  ☆17Nov 16, 2025Updated 3 months ago
• UCSD-PL / veridrone

  View on GitHub
  Foundational Verification of Hybrid Systems
  ☆15Mar 23, 2017Updated 8 years ago
• jubnzv / moonsmith

  View on GitHub
  A random generator of Lua programs
  ☆12Feb 21, 2026Updated last week
• charlesetc / caribou

  View on GitHub
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Oct 14, 2023Updated 2 years ago
• Chris00 / ocaml-dropbox

  View on GitHub
  Binding to the Dropbox Remote API
  ☆12Jun 13, 2020Updated 5 years ago
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• cedlemo / OCaml-libmpdclient

  View on GitHub
  mpd client library implementation in OCaml.
  ☆16Jun 23, 2023Updated 2 years ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆20Sep 28, 2025Updated 5 months ago
• pqwy / unmark

  View on GitHub
  Painless micro-benchmarks
  ☆20Mar 6, 2019Updated 6 years ago
• xavierleroy / spamoracle

  View on GitHub
  E-mail filter and classifier based on Bayesian learning
  ☆16Jan 4, 2022Updated 4 years ago
• andreypopp / sqlpp

  View on GitHub
  relation query language, with typed embedding into OCaml
  ☆16Feb 23, 2025Updated last year
• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 6 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• consensus-oracle / coracle

  View on GitHub
  Simulation of consensus algorithms in heterogeneous networks
  ☆21Nov 30, 2015Updated 10 years ago
• xavierleroy / ocamlagrep

  View on GitHub
  String searching with errors, using the Wu-Manber algorithm
  ☆23Jan 17, 2025Updated last year
• nobrakal / asak

  View on GitHub
  Identifying similar OCaml codes
  ☆30Jul 30, 2024Updated last year
• LaurentMazare / ocaml-tqdm

  View on GitHub
  An ocaml progress bar library similar to https://tqdm.github.io
  ☆18Dec 13, 2019Updated 6 years ago
• jserot / rfsm

  View on GitHub
  A toolset for describing and simulating StateChart-like state diagrams.
  ☆27Dec 30, 2025Updated 2 months ago
• Drup / modulectomy

  View on GitHub
  Dissect OCaml compiled programs, and weight their content
  ☆25Nov 2, 2022Updated 3 years ago
• let-def / inuit

  View on GitHub
  Make interactive text-oriented user-interfaces for OCaml
  ☆23Feb 5, 2020Updated 6 years ago
• mbacarella / curses

  View on GitHub
  Bindings to curses/ncurses
  ☆24Aug 8, 2024Updated last year
• mransan / btree

  View on GitHub
  A B-Tree implementation in OCaml
  ☆24Oct 24, 2016Updated 9 years ago
• acorrenson / SATurne

  View on GitHub
  Tiny verified SAT-solver
  ☆30Jan 7, 2022Updated 4 years ago
• rocq-community / coqoban

  View on GitHub
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Jan 3, 2025Updated last year
• semgrep / testo

  View on GitHub
  Test framework for OCaml
  ☆35Jan 26, 2026Updated last month
• formal-land / coq-bonsai

  View on GitHub
  🌳 Generate a fresh bonsai in your terminal
  ☆31Oct 4, 2021Updated 4 years ago
• hannesm / ocaml-otr

  View on GitHub
  Off-the-record (OTR) messaging protocol, purely in OCaml
  ☆39Dec 17, 2024Updated last year
• nojb / ocaml-emacs-plugin

  View on GitHub
  A library to write emacs plugins in OCaml
  ☆21May 20, 2016Updated 9 years ago
• robur-coop / utcp

  View on GitHub
  An implementation of the Transmission Control Protocol in OCaml
  ☆32Feb 17, 2026Updated 2 weeks ago
• Drup / tree_layout

  View on GitHub
  Algorithms to layout trees in a pretty manner.
  ☆36Mar 7, 2022Updated 3 years ago
• c-cube / calculon

  View on GitHub
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆30Feb 14, 2026Updated 2 weeks ago