Ptival

PeaCoq

PeaCoq is a pretty Coq, isn't it?

language-ocaml

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

chick

rocq-gameboy

advent-of-code

peacoq-frontend

agda-playground

Bunch of Agda stuff, no rhyme or reason

bits

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

config

Personal configuration files

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

crucible

Crucible is a library for symbolic simulation of imperative programs

davdar-dotfiles

@davdar 's dotfiles

dotfiles

Dotfiles, to be symlinked in the home directory via stow

hls-multi-cradle-submodule-bug

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

nixpkgs

Nix Packages collection

nur-packages

A template for NUR repositories: [maintainer=@fgaz]

presentations

Material for the presentations I have given

ptival.github.io

Minimalist, distraction-free and content-focused Jekyll theme with flexible content width.

rocq-cheatsheet

For Rocq and SSReflect patterns I keep forgetting how to do...

rustyboi

Toy GameBoy emulator, in Rust

sadl

SADL guide

sadl-guide

SADL Users guide

scheme-to-c

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

semtk

Drag and drop SPARQL queries and data ingestion for virtuoso and soon other SPARQL endpoints

semtk-python3

python3 rest wrapper for SemTK

uvmhs

verinano

TODO

vscode-vim

:star: Vim for Visual Studio Code