Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by nstebbins
A curated list of projects in awesome lists by nstebbins .
https://github.com/nstebbins/math-in-lean
My fork of the textbook "Mathematics in Lean"
Last synced: 18 Oct 2024
https://github.com/nstebbins/chatroom
a multi-threaded chatroom written in Java that runs in the terminal
chat-room java maven multithreading network-programming
Last synced: 18 Oct 2024
https://github.com/nstebbins/neuralkernel
neural networks as a general-purpose computational framework
Last synced: 18 Oct 2024
https://github.com/nstebbins/linear-algebra
a helpful library of iterative linear algebra algorithms
Last synced: 18 Oct 2024
https://github.com/nstebbins/formalizing-math
My fork of Kevin Buzzard's Lean course
Last synced: 18 Oct 2024