shamrock-frost Goto Github PK
Name: Brendan Seamas Murphy
Type: User
Company: University of Utah
Bio: Pure math grad student
Location: Salt Lake City, Utah
Blog: brendan.phd
Name: Brendan Seamas Murphy
Type: User
Company: University of Utah
Bio: Pure math grad student
Location: Salt Lake City, Utah
Blog: brendan.phd
An introductory Haskell programming course by Richard Cook
A nice parser combinator library for Kotlin
Cosette is an automated SQL solver powered by Coq and Rosette.
Documentation for the PureScript language, compiler, and tools.
Android scouting app for the 2017 FRC Steam-works competition.
:video_game: Extensible, JavaScript-based driving dashboard framework for the FIRST Robotics Competition.
Let's give this a go?
WIP implementation of a Haskell 98-like Lisp in Racket
A simple static site generator library in Haskell.
A proof of the Jordan-Hölder theorem, formalized in the Lean Proof Assistant
Discord bot that renders LaTeX equations.
Some experiments with the Lean proof assistant
Lean Theorem Prover
Lean 4 programming language and theorem prover
A Lean nightly installer for CSE 505.
Lean standard library (development)
Haskell Semantics with Lisp Syntax
Lisp for the TI-83+ line of graphing calculators
Lean mathematical components library
Minima is a one-size-fits-all Jekyll theme for writers.
A prototype Lean build tool
A *very* barebones TCG created as my final project for APCS.
his full name is nathan
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.