Pinned Repositories
.cfg
AoC-2015
My Solutions for Advent of Code 2015. I didn't do it back then, but now I want to catch up on it bit by bit :-)
AoC-2024
My Advent of code implementation
AoC_2022
category-theory-for-programmers
These are my solutions to the tasks in the book "category theory for programmers" by Bartosz Milewski
cloneable_dyn
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
CoqVectorComparison
This repository is for my student research project. It aims to copare diferent Vector implementations in coq
DETMiniTopDown
Small project for the university cours "Digital Entertainment Systems". Its a Top Down Shooter
partial_eq_dyn
The repository for the rust dyn_partial_eq crate
StamesJames's Repositories
StamesJames/category-theory-for-programmers
These are my solutions to the tasks in the book "category theory for programmers" by Bartosz Milewski
StamesJames/DETMiniTopDown
Small project for the university cours "Digital Entertainment Systems". Its a Top Down Shooter
StamesJames/partial_eq_dyn
The repository for the rust dyn_partial_eq crate
StamesJames/.cfg
StamesJames/AoC-2015
My Solutions for Advent of Code 2015. I didn't do it back then, but now I want to catch up on it bit by bit :-)
StamesJames/AoC-2024
My Advent of code implementation
StamesJames/AoC_2022
StamesJames/cloneable_dyn
StamesJames/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
StamesJames/CoqVectorComparison
This repository is for my student research project. It aims to copare diferent Vector implementations in coq
StamesJames/daily-coding-problem
Here I work on some basic coding problems
StamesJames/DET-SS2019
StamesJames/Galaxya
StamesJames/GdV-Raytracer-rust
StamesJames/godot
Godot Engine – Multi-platform 2D and 3D game engine
StamesJames/icecube-visualizer
StamesJames/lambda-calculator-website
StamesJames/LudumDare42_CheatDay
Our First Ludum Dare. It was A great fun :-D
StamesJames/phasar
A LLVM-based static analysis framework.