Giters
Aaron Turon (aturon)

aturon

Geek Repo

1k

followers

73

following

24

stars

Company:Fastly

Location:Portland, OR, USA

Home Page:http://aturon.github.io/

Twitter:@aaron_turon

Github PK Tool:Github PK Tool

Organizations
bytecodealliance
rust-lang

Aaron Turon's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:93928Issues:1487Issues:52916

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:16990Issues:198Issues:1499

cargo

The Rust package manager

Language:RustLicense:Apache-2.0Stargazers:12132Issues:193Issues:7014

design

WebAssembly Design Documents

License:Apache-2.0Stargazers:11364Issues:756Issues:810

racket

The Racket repository

Language:RacketLicense:NOASSERTIONStargazers:4707Issues:147Issues:2120

task.js

Beautiful concurrency for JavaScript

Language:JavaScriptLicense:NOASSERTIONStargazers:1630Issues:49Issues:37

maker

How hard could it be to replace SBT?

Language:ScalaLicense:BSD-2-ClauseStargazers:59Issues:8Issues:99

ChemistrySet

A library for composable fine-grained concurrency.

Language:ScalaLicense:NOASSERTIONStargazers:53Issues:8Issues:0

fancy-app

A Scala-style magic function application form

Language:RacketLicense:MITStargazers:44Issues:3Issues:5

racket-bitsyntax

Erlang-style binaries/bitstrings for Racket

Language:RacketLicense:NOASSERTIONStargazers:33Issues:4Issues:6

partial-evaluation-tutorial

Racket implementation of Cook and Lämmel's partial evaluation tutorial.

Language:RacketStargazers:32Issues:5Issues:0

Typed-Racket-SMT-type-checker

An SMT solver with an interactive interface so it can be used as an inference engine.

Language:RacketStargazers:11Issues:2Issues:0

Caper

Caper: concurrent and parallel extensions to Racket

Language:RacketStargazers:10Issues:4Issues:0

RedRacket

Regular Expression Derivatives in Racket

Language:RacketStargazers:7Issues:0Issues:0

RedRacket

Fast regexp matching in Racket

Language:RacketStargazers:4Issues:5Issues:0

racket

The Racket repository

Language:RacketStargazers:3Issues:4Issues:0

sf

Software Foundations of Pierce et al.

Language:CoqLicense:MITStargazers:3Issues:5Issues:0

PlotBench

Visualizes benchmarking results using Racket's PLoT library

Language:RacketStargazers:2Issues:3Issues:0

Abstract-Redex

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

Language:RacketStargazers:2Issues:2Issues:0

ChemistrySetBench

Benchmarks for the Scala Chemistry Set

Language:ScalaStargazers:1Issues:4Issues:0

dotfiles

unixy config files

Stargazers:1Issues:3Issues:0

ModularRollback

Code related to "Modular rollback through control logging"

Stargazers:1Issues:3Issues:0

ScalaBench

Basic infrastructure for microbenchmarking in Scala

Language:ScalaStargazers:1Issues:3Issues:0

scripts

A small collection of personal shell scripts

Language:ShellStargazers:1Issues:3Issues:0