anna099 / hegelLinks
hegel notes
☆13Updated 3 years ago
Alternatives and similar repositories for hegel
Users that are interested in hegel are comparing it to the libraries listed below
Sorting:
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- A modern string diagram editor for the web.☆26Updated 9 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- A categorical semantics library in Agda.☆16Updated 6 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Label dependent dependent session types☆16Updated last year
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- A Haskell library for building incremental static site generators☆14Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Updated 6 years ago
- Effective Algebraic Topology in Haskell☆91Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- A compiler for a simple language using llvm☆37Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- Data-linked visualisations☆59Updated last week
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- An implementation of ELIZA, Weizenbaum's classic chatbot.☆22Updated 4 years ago
- "operating system" based on the calculus of constructions☆18Updated 3 years ago
- Stack-based esoteric programming language☆18Updated last year
- ☆12Updated 5 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 8 years ago
- Crazy figures and animations with Haskell☆34Updated 7 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Generalized syntax & semantics for universe hierarchies☆32Updated 2 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Updated 5 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago