varkor Goto Github PK
Name: varkor
Type: User
Bio: Type theorist and Rust compiler developer.
Name: varkor
Type: User
Bio: Type theorist and Rust compiler developer.
Minima is a one-size-fits-all Jekyll theme for writers.
An interpreter for Rust's mid-level intermediate representation
MysoreScript is a simple JavaScript-like language intended for teaching about compilers for late-bound dynamic languages.
The Dark Arts of Advanced and Unsafe Rust Programming
A very lightweight DOM manipulation library
A text-based Pass the Pigs simulator. More fun than it sounds.
A library for reusable parsers
An online Pokémon battle system for the web
A modern commutative diagram editor for the web.
A collaborative whiteboard
The Rust Reference
Experiments in rendering nonaffine transformations
RFCs for changes to Rust
A safe, concurrent, practical language.
Rust building infrastructure
Rust symbol demangling
A guide to how rustc works and how to contribute to it.
Website for graphing performance of rustc
A siteswap library for JavaScript.
Spatial Data Structures for Rust
A computer algebra system written in pure Python
A modern string diagram editor for the web.
Can you make people clone aribtary content from a repository by just submitting a pull request to that repository?
Celebrate Rust contributors.
A simple visual editor for creating commutative diagrams.
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Support for Visual Studio Code
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.