Valoran

cameleer. A Deductive Verification Tool for OCaml Programs

math-comp. Mathematical Components

conch. OCaml

neovim. Vim-fork focused on extensibility and usability

ocaml-wol. OCaml implementation of Wake-On-LAN (WOL)

ocaml-bazaar. OCaml

tlc. Library for Classical Coq

lucid_synchrone. c'est lucide et c'est synchrone

waylaunch. A program launcher for Wayland

metarocq. Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

maestro. Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

tty. A pure OCaml library for working with terminals

analyzer. Static analysis framework for C

ocaml. The core OCaml system: compilers, runtime system, base libraries

rocq. The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

dune-release. Streamlining the release of dune packages to opam

bfcoq. Brainfuck compiler in Coq

notafs. Not a filesystem for Mirage block devices

ly. A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).

river. [mirror] A non-monolithic Wayland compositor

Rack. The virtual Eurorack studio

reverse-ffi-demo. C

velus. A Lustre compiler in Coq

jsoo-memgraph-toplevel. OCaml

C_programming_language. My notes on the book The C programming language

why3-semantics. Formal Semantics for Why3

Soya. Object oriented langage optimising compiler

Arrakis. [mirror :-] RISC-V Simulator for education

latexpp. OCaml

.dotfiles. My configuration files

ott. The Ott tool for writing definitions of programming languages and calculi

riscv-card. An unofficial assembly reference for RISC-V.

hexcells_solver. Rust

diqt. Formalization of hashtables with Radix trees and PArray in Coq

miniml. OCaml subset interpreter

eww. ElKowars wacky widgets

ocaml-rs. OCaml extensions in Rust

vsrocq. Visual Studio Code extension for Rocq

creusot. Creusot helps you prove your Rust code is correct.

uvm. Fun, portable, minimalistic virtual machine.

ocamlwalk. The caml walks, OCaml runs

prettree. Pretty tree layout with an applicative functor

deque. Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

melocoton. Coq

catty. A unikernel as an IRC client

dotfiles. Shell

rofi. A huge collection of Rofi based custom Applets, Launchers & Powermenus.

coq-lsp.nvim. Neovim client for coq-lsp

whycode. OCaml

Limine. Modern, secure, portable, multiprotocol bootloader and boot manager.

Osdev-Notes. A book that explore how to write an Operating System from scratch

CompCert. The CompCert formally-verified C compiler

infra. Infrastructure to set up the public Compiler Explorer instances and compilers

misc-builder. Shell

nes-test-roms. Collection of test ROMs for testing a NES emulator.

NES. NES emulator written in C

linux. Linux kernel source tree

solidity-contract. The old Eykar smartcontract. A decentralized game of conquest powered by blockchain. An almost infinite territory that can be conquered through alliances and wars.

eykar.org. The official eykar client, a react website designed to be hosted on ipfs. It will eventually allow interaction with the eykar contract on StarkNet.

nixos-config. My NixOS configuration

Nymeria. Python

arp_poisoning. Arp Poisoning tool in C using raw sockets

SAT. Python

Simulation_Fourmi. Simulation de colonies de fourmies.

AntSim. C++

Simulant. A C++ simulation of ant colonies made for the Paris Saclay University.

SFML. Simple and Fast Multimedia Library

fourmis. un projet scolaire pour simuler des fourmis

AntSimulator. Simple Ants simulator

homeccenture. Homeccenture enlightens your home-office experience. Accenture STARTHack 2021 Winner project

nixos-raspberry-pi-cluster. A user-guide to create a Raspberry Pi (3B+, 4) cluster under NixOS and managed by NixOps

poyuterm. A puyo puyo game within terminal for college