Notes on P-omega
☆14Jul 11, 2017Updated 8 years ago
Alternatives and similar repositories for graph-models
Users that are interested in graph-models are comparing it to the libraries listed below
Sorting:
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 3 months ago
- Tool that displays the maximum HP Anyware license concurrent usage over time☆10Feb 11, 2026Updated 2 weeks ago
- Satellite Tracking / RF recording / Processing☆10Updated this week
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- ☆12Feb 5, 2026Updated 3 weeks ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Jun 14, 2022Updated 3 years ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 5 years ago
- Home is where the dotfiles are.☆11Apr 29, 2025Updated 10 months ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- ☆13May 25, 2023Updated 2 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- Making possible real-time stock management with the Kappa Architecture☆11Sep 5, 2023Updated 2 years ago
- Experimental linux kernel module to mirror evdev inputs☆16Aug 1, 2020Updated 5 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- OCaml backend for Agda☆39Oct 4, 2018Updated 7 years ago
- Support for root over network block device☆12Aug 3, 2016Updated 9 years ago
- Simple Markdown Wiki in your Dropbox.☆12Jun 16, 2018Updated 7 years ago
- Transform static files using brunch.☆10Dec 10, 2022Updated 3 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Koans to learn rhine☆13Feb 24, 2026Updated last week
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Just a playground for learning new things like languages, tools, practices☆10Jul 28, 2025Updated 7 months ago
- ☆11Feb 16, 2023Updated 3 years ago
- finite-state toolkit☆12May 5, 2017Updated 8 years ago
- a variation on the idea of review-gator☆13Dec 17, 2021Updated 4 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year