Reimplementation of TeX in Haskell: pre-alpha
☆32Apr 24, 2014Updated 11 years ago
Alternatives and similar repositories for hex
Users that are interested in hex are comparing it to the libraries listed below
Sorting:
- Logo turtle graphics interpreter in Haskell☆20Oct 20, 2014Updated 11 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Haskell geometry library☆17Mar 15, 2020Updated 5 years ago
- Socks proxy library for haskell☆19Aug 23, 2022Updated 3 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- A small LaTeX package to draw bricks with TikZ☆26Feb 16, 2026Updated 2 weeks ago
- Haskell library for AWS☆22Oct 14, 2019Updated 6 years ago
- ☆29Jul 21, 2023Updated 2 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 8 years ago
- ☆21Oct 2, 2022Updated 3 years ago
- A type-checker for Haskell with integer constraints☆42Feb 21, 2015Updated 11 years ago
- GUI for tlmgr written in Scala☆28Sep 14, 2021Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated 7 months ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- Smash products, Wedge products, and other Pointed stuff☆35Apr 27, 2022Updated 3 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- ☆17Jan 3, 2025Updated last year
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- my dotfiles☆17Updated this week
- MD5 core in verilog☆13May 1, 2012Updated 13 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆48Dec 22, 2025Updated 2 months ago
- ☆48Jul 5, 2019Updated 6 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- Incremental sbt builds for CI environments.☆10Sep 2, 2025Updated 6 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- A simple ClojureScript CouchDB client☆16Oct 10, 2012Updated 13 years ago
- A Python/Cython package for graph edit distances and graph matching☆13Jan 30, 2023Updated 3 years ago
- My customized macOS keyboard layout.☆10Jan 13, 2012Updated 14 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- ☆16Aug 2, 2023Updated 2 years ago