Beast code in Giters

Daniel Gustafsson's repositories

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.

Language:HaskellBSD-3-Clause2 20

medea

Language:HaskellBSD-3-Clause2 10

SmardEdit

Fopl project - Smart Editor

Language:Haskell2 30

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION020

hasquail

Quail in Haskell

Language:Haskell020

jumpcutter

Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw

Language:PythonMIT010

ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

Language:HaskellBSD-3-Clause020

Pacman

Language:JavaScript020

serenity

The Serenity Operating System 🐞

Language:C++BSD-2-Clause010

sixten

Functional programming with fewer indirections

Language:HaskellBSD-3-Clause010

test-servant

Language:HaskellBSD-3-Clause010

xcompose

XCompose configuration file and its generator

Language:Haskell020