Pierre Oechsel's repositories
ADA-project
Project for the course "ADA" @ EPFL 2018
flambda-backend
The Flambda backend project for OCaml
ocaml
The core OCaml system: compilers, runtime system, base libraries
Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
byteorder
Rust library for reading/writing numbers in big-endian and little-endian.
calibre-web
:books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
concrete-numpy
Concrete Numpy is an open-source library which simplifies the use of fully homomorphic encryption.
ctf-tools
tổng hợp tool ctf
dotty
Research compiler that will become Scala 3
iree
đź‘»
Kavita
Kavita is a fast, feature rich, cross platform reading server. Built with a focus for manga and the goal of being a full solution for all your reading needs. Setup your own server and share your reading collection with your friends and family.
libarchivejs
Archive library for browsers
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
ocaml-jst
OCaml plus Jane Street extensions
ocamlmoe
[WIP] Experimental ocaml wrapper around moe
oidn
Intel(R) Open Image Denoise library
oidn-weights
Trained weight blobs for Intel(R) Open Image Denoise
owee
OCaml library to work with DWARF format
rust
Empowering everyone to build reliable and efficient software.
servo
The Servo Browser Engine
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
static-assertions-rs
Ensure correct assumptions about constants, types, and more in Rust
twint
An advanced Twitter scraping & OSINT tool written in Python that doesn't use Twitter's API, allowing you to scrape a user's followers, following, Tweets and more while evading most API limitations.