Pinned Repositories
Advent
https://adventofcode.com/
AutoLearn
I wanted to visualize some examples from my automata theory class
Cellular-Automata
Let's you play around with different types of Cellular Automata e.g. Conway's Game Of Life, Ulam Stanislaw's Cellular Automaton
graph_logic
Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system
Lin-Alg-and-Multivariable-Calc
A code along project for my studies to check if I understood everything
Linalg-Ocaml
Math-Notes-Formalization
A formalization of all my math notes into COQ
Newton-Fractals
Gives you a simple tool for generating newton fractals through node.js
Old-projects
Just a bunch of old projects that I never backed up
topology-extended
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
GwenTinho's Repositories
GwenTinho/Cellular-Automata
Let's you play around with different types of Cellular Automata e.g. Conway's Game Of Life, Ulam Stanislaw's Cellular Automaton
GwenTinho/graph_logic
Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system
GwenTinho/Lin-Alg-and-Multivariable-Calc
A code along project for my studies to check if I understood everything
GwenTinho/Linalg-Ocaml
GwenTinho/Math-Notes-Formalization
A formalization of all my math notes into COQ
GwenTinho/Newton-Fractals
Gives you a simple tool for generating newton fractals through node.js
GwenTinho/Old-projects
Just a bunch of old projects that I never backed up
GwenTinho/topology-extended
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
GwenTinho/Advent
https://adventofcode.com/
GwenTinho/AutoLearn
I wanted to visualize some examples from my automata theory class
GwenTinho/Automata
GwenTinho/automata-formalization
GwenTinho/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
GwenTinho/CategoryTheory
Send help
GwenTinho/lol2D
GwenTinho/turbo_hoare
A constraint solver purely on GPUs (CUDA)
GwenTinho/Call-by-Name-Call-by-Value
GwenTinho/cours-preuves-ordinateur
Page du cours preuves assistées par ordinateur 2023/24 course notes
GwenTinho/emacs-typst
Manage your emacs setup with nix modules
GwenTinho/Examples-Coq-Prolog
GwenTinho/FormArith
For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
GwenTinho/GoCaml
An implementation of the go game in ocaml
GwenTinho/preuves
GwenTinho/Projet-coq
GwenTinho/Rust-Learning
Hopefully a working version of the symbolic learning algorithms seen in my class
GwenTinho/Type-Theory-Presentation