Alex1005a's starred repositories
GoodbyeDPI
GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)
plfa.github.io
An introduction to programming language theory in Agda
FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
modal-types
Experiments with modal types
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
software-foundations
Software Foundations in Idris
micro-mitten
You might not need your garbage collector
IdrisSqlite
Effectful bindings for SQLite (forked from IdrisWeb)
capable-lang
A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
haskell-papers-ereader
Haskell papers optimized for my e-reader.
type-systems-for-compiler-optimisations
A purely functional programming language with support for substructural types.
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
extensible-records
Extensible records for Idris
type-challenges
Collection of TypeScript type challenges with online judge
idris2-lsp
Language Server for Idris2