Valentin Robert's repositories
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
config
Personal configuration files
ptival.github.io
Minimalist, distraction-free and content-focused Jekyll theme with flexible content width.
llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
dotfiles
Dotfiles, to be symlinked in the home directory via stow
rustyboi
Toy GameBoy emulator, in Rust
rocq-cheatsheet
For Rocq and SSReflect patterns I keep forgetting how to do...
bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
agda-playground
Bunch of Agda stuff, no rhyme or reason
nur-packages
A template for NUR repositories: [maintainer=@fgaz]
vscode-vim
:star: Vim for Visual Studio Code
davdar-dotfiles
@davdar 's dotfiles
semtk-python3
python3 rest wrapper for SemTK
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.
verinano
TODO
nixpkgs
Nix Packages collection
sadl-guide
SADL Users guide
sadl
SADL guide
language-ocaml
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
semtk
Drag and drop SPARQL queries and data ingestion for virtuoso and soon other SPARQL endpoints
implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
crucible
Crucible is a library for symbolic simulation of imperative programs
presentations
Material for the presentations I have given