CS410 "Advanced Functional Programming"

Compiler backend for generating Scheme code

KOHighlights is a utility for viewing KOReader's highlights and/or export them to simple text, html, csv or markdown files.

Packages and abstractions to use Nix as a package manager for Agda

Total Parser Combinators in Agda

Logical relations proof in Agda

Useful resources for developing with the RK3588. 🚀

This project aims at implementing a Guix native experience for services that are not yet guixable

egraph <-> json

Agda formalisation of the Introduction to Homotopy Type Theory

Enhanced and security-focused fork of Signal.

ECMAScript back end for Functional Reactive Programming in Agda

How I start Haskell.

A puppeting Matrix - Zulip bridge

Compiling Agda code to readable Haskell

Agda2HS Collection (MSc Thesis)

Rust VM for Emacs

Enable partial horizontal scroll in Emacs

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

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

A purely functional programming language with first class types

ZMK firmware based on urob/zmk-config, with steno layer

Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda

A `flake-parts` Nix module for Haskell development

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Better configuration for less

Control all your tooling from a single console

heidi : tidy data in Haskell

Performant and safe knowledge compilation in rust