bollu Goto Github PK
Name: Siddharth
Type: User
Company: University of Cambridge
Bio: mathematics ⋂ computation
Location: Cambridge
Blog: pixel-druid.com
Name: Siddharth
Type: User
Company: University of Cambridge
Bio: mathematics ⋂ computation
Location: Cambridge
Blog: pixel-druid.com
Formalization of the Interaction Tree Datatype in Coq
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Chrome plugin for vocabulary building
Mirror of JONESFORTH
mawww's experiment for a better code editor
P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library
Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
Cycle-accurate NES emulator in ~1000 lines of code
Lean 4 build system and package manager with configuration files written in Lean.
Purely Functional Rendering Engine
Me messing around with language models, trying to make NLP run on commodity hardware with weird ideas.
Custom-built LLVM toolchain for use in Lean 4
Tactics for discharging Lean goals into SMT solvers.
Jupyter notebook for the Lean4 programming language
Lean 4 programming language and theorem prover
maze game encoded in Lean 4 syntax
Emacs major mode for Lean 4
The lean4 source code + documentation generated by leanprover/doc-gen4
The new generation of 4k intro frameworks.
C++ library for semigroups and monoids
A lisp interpreter in C++ for fun :)
LispWorks Configuration files
a frontend for a small lazy language with rust-inspired syntax
Low Level Hardware Description — A foundation for building hardware design tools.
A fork of the LLVM project for personal use
Haskell bindings for LLVM
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.