Pinned Repositories
carleson
A formalized proof of Carleson's theorem in Lean
lakesare
lean4-metaprogramming-book
memcode
Spaced-repetition: with real formatting.
model_to_googlesheet
Export your Rails model to GoogleDrive worksheet
netpyneunit
SciUnit Tests for NetPyne Models
rucaptcha_api
Ruby wrapper for https://rucaptcha.com API
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
uppy
The next open source file uploader for web browsers :dog:
lakesare's Repositories
lakesare/memcode
Spaced-repetition: with real formatting.
lakesare/model_to_googlesheet
Export your Rails model to GoogleDrive worksheet
lakesare/netpyneunit
SciUnit Tests for NetPyne Models
lakesare/rucaptcha_api
Ruby wrapper for https://rucaptcha.com API
lakesare/lakesare
lakesare/lean4-metaprogramming-book
lakesare/basic-JWT-setup-for-express
lakesare/brain.js
🤖 Neural networks in JavaScript
lakesare/carleson
A formalized proof of Carleson's theorem in Lean
lakesare/dataTable-reimplementation
Implementation of dataTables.js-like functionality in React.
lakesare/draft-rendering-methods
Tutorial on blockStyleFn, blockRenderMap and blockRendererFn editor properties.
lakesare/hours-to-wage
lakesare/lean4
Lean 4 programming language and theorem prover
lakesare/LocomotiveCMS-tutorial
Basic introduction to LocomotiveCMS features for Rails developers.
lakesare/mlwpy_code
Code from the Pearson Addison-Wesley book Machine Learning with Python for Everyone
lakesare/netpyne
A Python package to facilitate the development, parallel simulation, optimization and analysis of multiscale biological neuronal networks in NEURON.
lakesare/node-gently
A node.js module that helps with stubbing and behavior verification.
lakesare/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lakesare/sciunit
A Python framework for test-driven validation of scientific models.
lakesare/SwarmMusicGoldsmiths
Bare-bones code from the Chapter 3 "Algorithmic composition: swarm music" from "Sound and music" by T. Blackwell, M. Grierson, M. Pearce, C. Rhodes and A. Smaill.
lakesare/sympy
A computer algebra system written in pure Python
lakesare/tldraw
a very good whiteboard