pqnelson Goto Github PK
Name: Alex
Type: User
Company: Unfold, Inc.
Location: Los Angeles, CA
Name: Alex
Type: User
Company: Unfold, Inc.
Location: Los Angeles, CA
Binary uuid keys in Rails
A Scientific Problem Solving Environment.
Math blog TeXnical stuff
Haskell code for Bourbaki's formal language
LaTeX documentclass for Bourbaki books
A calculator library for my calculations
Theorem prover experiments in Common Lisp
Notes on Climate Science and related fields
A simple wrapper of the Lucene text tokenizer
Public domain data collectors for the work of Congress, including legislation, amendments, and votes.
My dot-files setup
Emacs org-mode tools to download & cite news articles
Notes on classical economics
Automatically exported from code.google.com/p/exchangerxml
Fortran 77 Compiler
Finite Group Theory project
Fallout-inspired roguelike
Learning statistics through sabermetrics
Toy General Circulation Model in Literate Fortran
gofer by mark jones
Hegel on twitter!
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Mirror of the Hugs 98 projekt.
Formalizing the 2019 revision of the IEEE-754 standard in Mizar
Notes on how to learn abstract mathematics using set theory
Patching Kaliszyk and Pąk's code to work with Isabelle-2023
Isabelle/HOL implementation of Nand2Tetris
Isabelle integration of leanCoP
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.