The Notes
☆12Jan 10, 2018Updated 8 years ago
Alternatives and similar repositories for the-notes
Users that are interested in the-notes are comparing it to the libraries listed below
Sorting:
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Apr 2, 2020Updated 5 years ago
- Ende is a hypothetical programming language.☆23Oct 19, 2020Updated 5 years ago
- A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)☆94Apr 10, 2020Updated 5 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Sep 17, 2017Updated 8 years ago
- Lisp Machine Keyboard USB driver☆32Oct 6, 2019Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Small experimental Unity project: DXR + Spline☆14Sep 13, 2023Updated 2 years ago
- ☆18Mar 6, 2013Updated 12 years ago
- An example of writing an AWS Lambda function in Purescript☆36Oct 28, 2017Updated 8 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Sublime Open Shading Language☆16Feb 23, 2019Updated 7 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- Repo for hands-on held on 19/04/28.☆10May 1, 2019Updated 6 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- ☆45Jun 20, 2019Updated 6 years ago
- RAINS (Another Internet Naming Service)☆10Feb 25, 2025Updated last year
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- Notes on setting up systems within educational settings☆11Feb 11, 2026Updated 2 weeks ago
- Clojurescript selfhost library☆13Jul 29, 2022Updated 3 years ago
- Ichi Hirota's dual-fisheye plug-in for THETA V. Sample code for the THETA developer workshop. significant modifications by community☆10Nov 26, 2018Updated 7 years ago
- Legacy version: Use math3d-react repo instead☆12Sep 25, 2019Updated 6 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Sep 19, 2025Updated 5 months ago
- Write your Reveal.js presentations in Haskell!☆11Sep 12, 2016Updated 9 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- My rust utilities☆11Dec 4, 2017Updated 8 years ago
- Visualizer for large-scale and interactive ray-tracing of neurons☆10Jan 25, 2022Updated 4 years ago
- Script to manage computer usage by time and schedule.☆18Jul 28, 2017Updated 8 years ago
- Read/Write YAML files with as little code as possible☆17Dec 16, 2024Updated last year
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- A gui to run the RAW to ACES command line utility☆10Jan 28, 2026Updated last month
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Build script of BusyBox for WebAssembly (wasm) using Emscripten☆10Dec 21, 2020Updated 5 years ago