michaelburge Goto Github PK
Name: Michael
Type: User
Location: Portland, Oregon
Blog: michaelburge.us
Name: Michael
Type: User
Location: Portland, Oregon
Blog: michaelburge.us
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
C compiler targeting Pyramid Scheme, which targets the Ethereum Virtual Machine
Racket macro to introduce local bindings for every field in a struct
A script used to calculate costs & probabilities for getting cards for the F2P game Dirty Bomb.
Typed Racket implementation of common Ethereum libraries
Faster directory listing than ls
graphviz example with Haskell
A formal proof of Goodstein's theorem
Haskell SDK for the Authorize.NET API
Proof-of-concept Blockchain in Haskell
Development copy of HaXml
Contains our stable, nightly, and testing bootstraps / artifacts for the OpenOSRS Launcher
An x64 JIT compiler for a subset of Javascript
Data structures/API for a Bitcoin exchange
Lean 4 programming language and theorem prover
Inference Llama 2 in one file of pure C
A collection of Project Euler problems with solutions written in LLVM IR
Manifold Markets: A market for every question
A collection of Minecraft server plugins I made in 2011
A NES emulator made to learn the Rust programming language
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.