Skip to content
View aturon's full-sized avatar

Organizations

@rust-lang @bytecodealliance

Block or report aturon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

WebAssembly Design Documents

11,441 695 Updated Dec 18, 2024

The Rust package manager

Rust 12,926 2,443 Updated Dec 20, 2024

Cross-platform Rust rewrite of the GNU coreutils

Rust 17,895 1,290 Updated Dec 20, 2024

Empowering everyone to build reliable and efficient software.

Rust 99,703 12,879 Updated Dec 20, 2024

Software Foundations of Pierce et al.

Coq 3 3 Updated Feb 6, 2014

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

Racket 32 5 Updated Aug 7, 2012

Benchmarks for the Scala Chemistry Set

Scala 1 Updated May 3, 2012

Basic infrastructure for microbenchmarking in Scala

Scala 1 Updated Apr 23, 2012

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

Racket 2 Updated Apr 26, 2012

Caper: concurrent and parallel extensions to Racket

Racket 10 1 Updated Aug 28, 2012

The Racket repository

Racket 3 1 Updated May 3, 2012

Code related to "Modular rollback through control logging"

1 Updated Sep 14, 2011

unixy config files

1 Updated Sep 8, 2011

How hard could it be to replace SBT?

Scala 59 7 Updated Sep 4, 2020

Visualizes benchmarking results using Racket's PLoT library

Racket 2 Updated Feb 27, 2012

A small collection of personal shell scripts

Shell 1 Updated Feb 27, 2012

Erlang-style binaries/bitstrings for Racket

Racket 32 3 Updated May 12, 2021

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

Racket 11 Updated May 30, 2011

A Scala-style magic function application form

Racket 43 3 Updated Jul 31, 2022

Fast regexp matching in Racket

Racket 4 Updated May 19, 2011

A library for composable fine-grained concurrency.

Scala 53 12 Updated May 3, 2012

Regular Expression Derivatives in Racket

Racket 7 2 Updated Apr 20, 2011

Beautiful concurrency for JavaScript

JavaScript 1,630 74 Updated Mar 28, 2019

The Racket repository

Racket 4,839 663 Updated Dec 15, 2024
Showing results