diakopter Goto Github PK
Name: Matthew Wilson
Type: User
Name: Matthew Wilson
Type: User
Just a place that I'm keeping some meta-model prototyping; anything that matters will make it to another repo (e.g. nqp-rx one or Rakudo one) at some point.
Optimal evaluator of λ-calculus terms.
Prototype smart text editor
terminal/shell/editor built on titzer/virgil, compiles (itself) to wasm
Parser Building Toolkit for JavaScript
Cloud9 IDE - The modern IDE built on Node, JavaScript and HTML5. This is the OSS component of the broader service option at c9.io
Utility for fetching the public list of NoFlo components and component libraries
Reference type checker for the Lean Theorem Prover
Powerful meta-programming for powerful types.
Archived prototype. To see the current work:
A theme component for Discourse
dombuilder that applies diffs only to the real dom
Visual editor for Babylon.js
A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
FBP flow definition language parser
An efficient minimal programming language and proof assistant.
An ML-like language with a type system for program verification
g0v.asia landing page
Pure javascript implementation of Git (Node.js and Browser)
grunt-init template for scaffolding NoFlo projects
homebrew tap for Lean theorem prover
A massively parallel, optimal functional runtime in Rust
Provably correct implementation of insertion sort in Idris.
Utilities and documentation for exploring idirs2's new elaborator reflection.
Idris2s all the way down
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.