samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIAParis - France
Pinned Repositories
pure
A verified compiler for a lazy functional language
CrazySums
ErnestOClock
Ferrolex
Lexer Generator
integer-para-mul
modular-compiler-variants
This repository exists in order to hold OCaml variants for modular explicit and modular implicit
Samenhir
A parser generator
SamRustCompiler
A try to implement my own bootstrapped rust compiler
write_x86_64
Library to help writting X86_64 assembly in rust
FerrOS-project
samsa1's Repositories
samsa1/SamRustCompiler
A try to implement my own bootstrapped rust compiler
samsa1/integer-para-mul
samsa1/write_x86_64
Library to help writting X86_64 assembly in rust
samsa1/modular-compiler-variants
This repository exists in order to hold OCaml variants for modular explicit and modular implicit
samsa1/ErnestOClock
samsa1/modexp-stdlib
Defines a standard library for using modular explicits with OCaml
samsa1/bootloader
An experimental pure-Rust x86 bootloader
samsa1/Ferrolex
Lexer Generator
samsa1/ppx_rml
A ppx-based implementation of ReactiveML
samsa1/Samenhir
A parser generator
samsa1/byo-ppl-22-23
Byo PPL rewritten in OCaml 5
samsa1/cakeml
CakeML: A Verified Implementation of ML
samsa1/cpuio
samsa1/flambda-backend
The Flambda backend project for OCaml
samsa1/KnEL-ext
samsa1/ocaml
The core OCaml system: compilers, runtime system, base libraries
samsa1/OpenCL-CLHPP
Khronos OpenCL-CLHPP
samsa1/ORFCs
Design discussions about the OCaml language
samsa1/owl
Owl - OCaml Scientific Computing @ http://ocaml.xyz
samsa1/PF1
Squelette Evaluation PF1
samsa1/pic8259_simple
samsa1/pure
A pure call-by-name language
samsa1/rml
ReactiveML: a programming language for implementing interactive systems.
samsa1/samsa1.github.io
samsa1/unicode-math-vscode
Easy insertion of unicode math symbols
samsa1/usuba
A programming language to write bitsliced ciphers
samsa1/usuba_coq
Formalization of Usuba front-end in Coq
samsa1/vscode-extension-samples
Sample code illustrating the VS Code extension API.
samsa1/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]