pauladam94 Goto Github PK
Name: Paul Adam
Type: User
Bio: Computer science students - Master at ENS Rennes - France. Interested in theoretical study of programming languages
Location: France
Name: Paul Adam
Type: User
Bio: Computer science students - Master at ENS Rennes - France. Interested in theoretical study of programming languages
Location: France
Advent of code 2023 in Rust
CTL Solver Game, Automaton with bevy
Test to do a custom shader
A pedagogical project to teach general compiler concepts.
Typst Package to typeset inference rule
My config (only kitty config for now)
Build your node graph applications in Rust, using egui
Typst Slide Template for ENS Rennes
Programmation en python de flappy_bird
IA project playing the Hexapawn game
temporal analyses at scale
Website for the HyperAST project
My minimal Hyprland Config
Prooving Some Borrow checking Propertie in Coq
Programmation du jeu de la vie de Conway en python
📚 The most minimal cross-platform GUI library - now in Lua! (WIP)
Lua Compiler in Rust for educational purposes
First test for the Rust GUI framework makepad
My Personal Markdown LSP (mostly a formatter)
An interpreter for Rust's mid-level intermediate representation
Machine Learning Project ENS M1 : trying to fit a dataset with any method
Small projet :reprogramm the make command in a simple way
Renders typst code blocks in Obsidian into images using Typst through the power of WASM!
programmation du jeu Pac man en python via le module pygame
Packages for Typst.
Config files for my GitHub profile.
My neovim config
Recherche graphique de résultat sur la persistance multiplicative
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.