langston-barrett/write-yourself-a-scheme-in-agda

Stars
51
Rank 568,706 (Top 12 %)
Language Agda
License
Mozilla Public Li...
Created almost 7 years ago
Updated over 6 years ago

langston-barrett/write-yourself-a-scheme-in-agda

langston-barrett

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Like "Write Yourself a Scheme in 48 Hours", but in Agda

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

coq-big-o

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

tree-splicer

Simple grammar-based test case generator

CoverTranslator

A tool for formally verifying Haskell code in Agda

mogglo

Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns

reed-thesis

My undergradate thesis on coinductive types in univalent type theory

contract.el

Racket-style higher-order contracts for Emacs Lisp

tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog

souffle-lint

A linter for Soufflé Datalog

amsthm-to-anki

Translate math notes written with the amsthm package to Anki notecards!

spacelix

Spacemacs-like configuration for Helix

duckalog

Datalog engine based on DuckDB

emoji.yml

a machine-readable (yaml) list of (almost) all unicode emoji

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer

icemelter

Icemelter automates steps in debugging rustc internal compiler errors (ICEs)

rdf-star-souffle

A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner

nixpkgs-blight

Instrument the builds of tens of thousands of open-source packages

dots

NixOS configuration + dotfiles

dlsubst

A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!

m3u-converter

Convert M3U files into another format (markdown, yaml, etc.)

tree-sitter-edit

A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.

langston-barrett

zsh-contextual-abbrevs

Supercharged context-dependent aliases for ZSH that save you keystrokes!

vagrant.py

A dynamic inventory script for use with Ansible and Vagrant

galois-haskell-nix

Nix builds for most of the Haskell projects of @GaloisInc

ICEDB

A database of internal compiler errors (ICEs) in rustc

twjsrs

Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format

coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq

SpaceZLE

A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs

whole-world-llvm

Compile large C(++) programs and their transitive dependencies to LLVM bitcode

computational-homology

anki-wikidata

Easily create high-quality Anki cards with data from Wikidata!

radamsa-sys

Rust bindings for Radamsa

rdf-star-presidents

RDF-star dataset on U.S. presidents, mined from Wikidata.

shell-hydra

Shell Hydra brings the goodness of Emacs's Hydra to the command line.