aatxe Goto Github PK
Name: aaron
Type: User
Company: @Roblox
Bio: programming language designer. @nuprl and @plasma-umass alum.
Location: San Mateo, California
Blog: https://weiss.city
Name: aaron
Type: User
Company: @Roblox
Bio: programming language designer. @nuprl and @plasma-umass alum.
Location: San Mateo, California
Blog: https://weiss.city
A terminal IRC client in Rust.
Share your appreciation with someone you love.
An IRC bot in Rust.
A collection of plugins for awebot.
It's *your* book biome.
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
A fast CHIP-8 emulator with indie cred.
A Crusader Kings 2 mod that enables the creation of the Kingdom of Belgium.
A modern, extensible Creatures clone.
An implementation of the Lambda Cube in Idris.
A small functional language with effect inference based on Koka.
An IRC bot in Rust for playing Dungeons and Dragons.
My configuration files and whatnot.
Rust doesn't have exceptions
An old custom Ghost theme that I used to use.
A small Rust tool for scrubbing author and committer data from git repositories.
Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
An implementation of Hamelin in Rust.
Project Euler problems in (poor) Haskell.
the irc crate – usable, async IRC for Rust
A unified IRC services bot in Rust, used long ago by PdgnCo but replaced with anope.
Is it graduation yet? Find out.
A Java library for the NX file format.
A simple, educational Java library for sorting algorithms.
An artificial life simulator in Rust.
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
RFCs for Luau evolution
A generic markov chain implementation in Rust.
This small tool uses the Tumblr API to scrape posts from select blogs and build a Markov chain out of it.
A simple pasting service with syntax highlighting support.
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.