Pinned Repositories
krabcake
Umbrella repository for Krabcake experiments
larceny
Larceny Scheme implementation
mon-artist
Render monospace (fixed width) text blocks to SVG
pnkfelix.github.com
user repository. intention is mainly to serve as a central point to link to other pages (or repos) of interest to me as a developer
presentations
Source for miscellaneous presentations
rust-curses
Rust interface to terminal curses library / libraries.
rust-examples-icfp2014
Some tutorial-style examples of Rust programs
rust-glm
Port of (subset of) GLM to Rust
tango
Markdown-based Literate programming in Rust, integrated with Cargo.
tango-demo
Demonstration crate for the tango literate programming tool.
pnkfelix's Repositories
pnkfelix/tango
Markdown-based Literate programming in Rust, integrated with Cargo.
pnkfelix/krabcake
Umbrella repository for Krabcake experiments
pnkfelix/cee-scape
The cee-scape crate provides access in Rust to `setjmp` and `sigsetjmp` functionality.
pnkfelix/presentations
Source for miscellaneous presentations
pnkfelix/pnkfelix.github.com
user repository. intention is mainly to serve as a central point to link to other pages (or repos) of interest to me as a developer
pnkfelix/creusot
Creusot helps you prove your code is correct in an automated fashion.
pnkfelix/krabcake-vg
Prototype valgrind tool for Rust
pnkfelix/rune
Rust VM for Emacs
pnkfelix/rust
a safe, concurrent, practical language
pnkfelix/rust-linkage-demos
Demonstrations of output formats and linker/linkage features in Rust
pnkfelix/this-week-in-rust
Data for this-week-in-rust.org
pnkfelix/verus
Verified Rust for low-level systems code
pnkfelix/backtrace-rs
Backtraces in Rust
pnkfelix/blog.rust-lang.org
pnkfelix/cargo-minimize
A tool to help with minimization of Rust code
pnkfelix/cbr-issue-284-demo
Demo of cargo-bisect-rustc issue 284
pnkfelix/compiler-builtins
Porting `compiler-rt` intrinsics to Rust
pnkfelix/debugging101
demo some debugging thoughts
pnkfelix/ducere
pnkfelix/kani
Kani Rust Verifier
pnkfelix/lalrpop
LR(1) parser generator for Rust
pnkfelix/manim
Animation engine for explanatory math videos
pnkfelix/pyret-docs
The documentation for Pyret.
pnkfelix/relnotes
Generate release notes for "The Rust Programming Language"
pnkfelix/repro-for-tracing-attrs-issue
pnkfelix/rr
Record and Replay Framework
pnkfelix/rust-project-goals
Rust Project Goals tracker
pnkfelix/rustc-perf
Website for graphing performance of rustc
pnkfelix/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
pnkfelix/team
Rust teams structure