Pinned Repositories
chick
galois
Reproducible setup for Galois
language-coq
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
mock-haskell-projects
A collection of mock Haskell project setups that ought to load properly
ocamelf
ELF-parsing library written in OCaml for OCaml
PeaCoq
PeaCoq is a pretty Coq, isn't it?
recursion-schemes-examples
Examples of using the recursion-schemes package
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/advent-of-code
Ptival/peacoq-frontend
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/config
Personal configuration files
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/hls-multi-cradle-submodule-bug
Ptival/implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
Ptival/io-ts
Runtime type system for IO decoding/encoding
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/rustyboi
Toy GameBoy emulator, in Rust
Ptival/sadl
SADL guide
Ptival/sadl-guide
SADL Users guide
Ptival/scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
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