Pinned Repositories
chick
config
Personal configuration files
dotfiles
Dotfiles, to be symlinked in the home directory via stow
extensible-nanopass-compiler
A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques
language-ocaml
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
lyah-fr
French translation of Learn You A Haskell For Great Good
ocamelf
ELF-parsing library written in OCaml for OCaml
PeaCoq
PeaCoq is a pretty Coq, isn't it?
yokoiboy
Toy GameBoy emulator, in Rust
yugioh
Yu-Gi-Oh! simulator
Ptival's Repositories
Ptival/PeaCoq
PeaCoq is a pretty Coq, isn't it?
Ptival/language-ocaml
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
Ptival/chick
Ptival/rocq-gameboy
Ptival/yokoiboy
Toy GameBoy emulator, in Rust
Ptival/advent-of-code
Ptival/peacoq-frontend
Ptival/config
Personal configuration files
Ptival/dotfiles
Dotfiles, to be symlinked in the home directory via stow
Ptival/agda-playground
Bunch of Agda stuff, no rhyme or reason
Ptival/bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Ptival/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.
Ptival/crucible
Crucible is a library for symbolic simulation of imperative programs
Ptival/davdar-dotfiles
@davdar 's dotfiles
Ptival/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Ptival/hls-multi-cradle-submodule-bug
Ptival/implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
Ptival/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
Ptival/nixpkgs
Nix Packages collection
Ptival/nur-packages
A template for NUR repositories: [maintainer=@fgaz]
Ptival/presentations
Material for the presentations I have given
Ptival/ptival.github.io
Minimalist, distraction-free and content-focused Jekyll theme with flexible content width.
Ptival/rocq-cheatsheet
For Rocq and SSReflect patterns I keep forgetting how to do...
Ptival/sadl
SADL guide
Ptival/sadl-guide
SADL Users guide
Ptival/semtk
Drag and drop SPARQL queries and data ingestion for virtuoso and soon other SPARQL endpoints
Ptival/semtk-python3
python3 rest wrapper for SemTK
Ptival/uvmhs
Ptival/verinano
TODO
Ptival/vscode-vim
:star: Vim for Visual Studio Code