pauladam94
Computer science students - Master at ENS Rennes - France. Interested in theoretical study of programming languages
France
Pinned Repositories
Automaton-Bevy
CTL Solver Game, Automaton with bevy
bevy_simplex
Test to do a custom shader
curryst
Typst Package to typeset inference rule
dotfiles
My config (only kitty config for now)
egui_node_graph
Build your node graph applications in Rust, using egui
ENS-Rennes-Typst-Slides-Template
Typst Slide Template for ENS Rennes
hare_to_uxn
Compiler from Hare to Uxntal
Pixel-Art-Editor
Pixel-Art-Editor with egui and Rust.
SFLK_website
website to show inormatio
Ville-Embourbee
Educational tool in the browser to create an activity (without computer about computer science) for children
pauladam94's Repositories
pauladam94/curryst
Typst Package to typeset inference rule
pauladam94/ENS-Rennes-Typst-Slides-Template
Typst Slide Template for ENS Rennes
pauladam94/hare_to_uxn
Compiler from Hare to Uxntal
pauladam94/Automaton-Bevy
CTL Solver Game, Automaton with bevy
pauladam94/bevy_simplex
Test to do a custom shader
pauladam94/dotfiles
My config (only kitty config for now)
pauladam94/my_website
pauladam94/TP-User-SEA
pauladam94/AOC2023
Advent of code 2023 in Rust
pauladam94/HyperAST
temporal analyses at scale
pauladam94/HyperAST.github.io
Website for the HyperAST project
pauladam94/hyprland_config
My minimal Hyprland Config
pauladam94/Internship_Netherlands_Coq
Prooving Some Borrow checking Propertie in Coq
pauladam94/lua-fenster
📚 The most minimal cross-platform GUI library - now in Lua! (WIP)
pauladam94/lua_compiler
Lua Compiler in Rust for educational purposes
pauladam94/makepad_test
First test for the Rust GUI framework makepad
pauladam94/markdown_lsp
My Personal Markdown LSP (mostly a formatter)
pauladam94/miri
An interpreter for Rust's mid-level intermediate representation
pauladam94/ML-Project-M1
Machine Learning Project ENS M1 : trying to fit a dataset with any method
pauladam94/obsidian-typst
Renders typst code blocks in Obsidian into images using Typst through the power of WASM!
pauladam94/packages
Packages for Typst.
pauladam94/pauladam_dotfiles
My neovim config
pauladam94/PokeSif
Fully Extendable Game made with Löve-Lua
pauladam94/Robot-Swarm-Game
pauladam94/Rust_C_FFI_Test
Some tests about Rust C FFI in the context of in internship about this subject.
pauladam94/rusticles
A mini imperative language compiler.
pauladam94/RustingGCC
Subset of C compiler in Rust
pauladam94/Short-Movie-Data-Base
A Short Movie data base in Rust.
pauladam94/Simplex_algorithm
Implementation of the simplex algorithm
pauladam94/Sinfonie.io
Website of the Symphonie association