Alex1005a

toydb

Distributed SQL database in Rust, written as an educational project

fury

A blazingly fast multi-language serialization framework powered by JIT and zero-copy.

GoodbyeDPI

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

zapret

DPI bypass multi platform

plfa.github.io

An introduction to programming language theory in Agda

FirstOrderUnificationInAgda

Implementation of McBride's "First-order unification by structural recursion" in Agda.

TaPL

TaPL implementation bits in Idris2

modal-types

Experiments with modal types

roc

A fast, friendly, functional language.

db_tutorial

Writing a sqlite clone from scratch in C

linear-base

Standard library for linear types in Haskell.

ixy-languages

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

x86-agda

Inline, type safe X86-64 assembly programming in Agda

software-foundations

Software Foundations in Idris

micro-mitten

You might not need your garbage collector

IdrisSqlite

Effectful bindings for SQLite (forked from IdrisWeb)

agda2hvm

HVM

A massively parallel, optimal functional runtime in Rust

rfc

My slides and compilation of resources.

capable-lang

A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.

idris2-pack

haskell-papers-ereader

Haskell papers optimized for my e-reader.

ocaml

The core OCaml system: compilers, runtime system, base libraries

type-systems-for-compiler-optimisations

A purely functional programming language with support for substructural types.

Idris-dev

A Dependently Typed Functional Programming Language

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

potpourri

Where my everyday research happens

extensible-records

Extensible records for Idris

type-challenges

Collection of TypeScript type challenges with online judge

idris2-lsp

Language Server for Idris2