Beast code in Giters

Ariel Ben-Yehuda's repositories

resume

A simple resume in LaTeX. MIT-licensed; please use and share!

Language:TeXMIT4 30

arena-malloc

Arena-based malloc for valgrind testing

Language:C1 30

firefox-launcher

Firefox Launcher (Python)

Language:Python1 30

nll-probe

Rust NLL status tracking

Language:Rust1 30

rtypes

The Python rust interface

Language:PythonMIT1 30

arielby-net

arielby.net

Language:HTML030

ds13ex2

Ex2

Language:Java040

ff-launcher

Firefox Launcher

GPL-3.0030

homu

A bot that integrates with GitHub and your favorite continuous integration service

Language:PythonMIT030

llvm

"Temporary" fork of LLVM for Rust

Language:C++NOASSERTION030

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustNOASSERTION030

nll

Experimenting with NLL

Language:RustApache-2.0030

nll-rfc

Non-lexical lifetimes RFC.

030

orphan

A simple prototype of the orphan rule from Rust's coherence system

Language:Rust030

rayon

Rayon: A data parallelism library for Rust

Language:Rust030

reference

The Rust Reference

Language:CSSApache-2.0030

rfcs

RFCs for changes to Rust

NOASSERTION040

rust

a safe, concurrent, practical language

Language:RustNOASSERTION030

rust-forge

Information useful to people contributing to Rust

Language:HTMLApache-2.0030

rust-memory-model

Collecting examples and information to help design a memory model for Rust.

Language:PythonApache-2.0030

rust-name-resolution-algorithm

A prototype of my proposed name resolution algorithm for Rust.

Language:Rust030

rust-playpen

a web interface for running Rust code

Language:PythonMIT030

rustc-perf-collector

Benchmark collection of rustc compile time performance.

Language:RustMIT030

rustc-timing

Data for timing rustc

Language:Python030

s2n-tls

An implementation of the TLS/SSL protocols

Language:CApache-2.0000

seminar

030

servo

The Servo Browser Engine

Language:RustMPL-2.0030

x11-rs

Rust bindings for X11 libraries

Language:Rust030