A Flutter app demonstrating multiple environment configurations.

Master programming by recreating your favorite technologies from scratch.

Tool for visualizing GitHub profiles

A java-implementation of the Ethereum Virtual Machine (EVM) with optional GUI and Debugging

Rust parser combinator framework

Formal Reasoning About Programs

Petition to open source Flash and Shockwave spec

The fast, light, and robust client for Ethereum-like networks.

Proposed compiler and language changes for GHC and GHC/Haskell

WIP implementation of a Haskell-like Lisp in Racket

Free Bootstrap Admin & Dashboard Template Built for AI-Assisted Development

Rust language pcap library

Composable, streaming, and efficient left folds

A small strongly typed language that compiles to C++11

Mirror of https://gitlab.redox-os.org/redox-os/redox

The ReScience journal. Reproducible Science is Good. Replicated Science is better.

Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.