There are no reviews yet. Be the first to send feedback to the community and the maintainers!
AlgoRhythm
AlgoRhythm: A Haskell library for algorithmic music composition.rewrite-inspector
A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.agda-stdlib-meta
Meta-programming utilities for Agda.formal-process-calculus
Investigating different ways of modelling a minimal process calculus in Agda.formal-bitcoin
Formal model of Bitcoin transactions in Agdaghc-fork
A deep refactoring of GHCβs type system to accommodate impredicative types.formal-bitml
Formalization of the Bitcoin Modelling Language (BitML).agda2train
Prototyping an Agda backend to generate training data for machine learning.hs-pattrans
A music pattern language, based on the MIREX Discovery of Repeated Themes & Sections taskmusic-grammars
Several grammars for automatic music composition using Probabilistic Temporal Graph Grammars (PTGG).setup-agda
Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)lambda-calculus-interpreter
A C++ interpreter for the Ξ»-calculus (with added features), a formal system that is computationally equivalent to the Turing machine invented by Alonzo Church in the 1930's.formal-prelude
Simple extension of Agda's standard library for personal use.msc-thesis
My MSc thesis @ Utrecht University.hoare-utxo
Separation logic for *UTXO*-based blockchain ledgersagda2rust
Rust backend for Agda.dyck
Meta-grammar utilities for multi-dimensional Dyck languages.wlp-testing
WLP-based Automated Testing for Djikstra's Guarded Command Language (GCL).agda-lenses
Rustic lenses library for Agda, equipped with automatic generic deriving.LoLa
Playground for the course "Logic & Language".rhea-rebls
Paper for REBLS @ SPLASH'18crypto
Cryptography exercises.interstellar
A 3-D game for asteroid avoidance inspired by the movie Interstellar(2014).codin-game
My solutions to CodinGame problems.nominal-agda
Experiments in nominal techniques for Agda.snap
A software system for analyzing social networks, representing them internally as graphs. Partially multithreaded.mini-java
A complete compiler for a pure subset of Java.fim-experiment
An experimental comparison of two Frequent Itemset Mining techniques.prolog-collection
A personal extensive collection of Prolog programs, ranging from simple exercises to complex CSPs.Love Open Source and this site? Check out how you can help us