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.
Repositories
Danten/medea
Danten/serenity
The Serenity Operating System 🐞
Danten/jumpcutter
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
Danten/sixten
Functional programming with fewer indirections
Danten/test-servant
Danten/xcompose
XCompose configuration file and its generator
Danten/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Danten/hasquail
Quail in Haskell
Danten/Pacman
Pacman
Danten/agda
Agda is a dependently typed programming language / interactive theorem prover.
Danten/SmardEdit
Fopl project - Smart Editor