Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
hasquail
Quail in Haskell
jumpcutter
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
lejf
An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calculus), were types ar split up into two kinds. The positives are values and the negatives are code.
ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
medea
Pacman
Pacman
serenity
The Serenity Operating System 🐞
sixten
Functional programming with fewer indirections
SmardEdit
Fopl project - Smart Editor
Danten's Repositories
Danten/lejf
An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calculus), were types ar split up into two kinds. The positives are values and the negatives are code.
Danten/medea
Danten/SmardEdit
Fopl project - Smart Editor
Danten/agda
Agda is a dependently typed programming language / interactive theorem prover.
Danten/hasquail
Quail in Haskell
Danten/jumpcutter
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
Danten/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Danten/Pacman
Pacman
Danten/serenity
The Serenity Operating System 🐞
Danten/sixten
Functional programming with fewer indirections
Danten/test-servant
Danten/xcompose
XCompose configuration file and its generator