porglezomp-misc Goto Github PK

30-days-of-elixir

A walk through the Elixir language in 30 exercises.

asm-maze

Render a 3d maze in ARM assembly without any libc dependencies, just Linux syscalls!

beta.rust-lang.org

the home of the new rust website - now in beta!

boolean_expression

A Rust library for manipulating and evaluating Boolean expressions and BDDs

borrow-check

Defines the Rust borrow checker.

brainfriendly

A BF interpreter made in Python

c-generics

A repository to try out generic programming in C as well as good testing for C programs

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

cursed-selectors

*Gesturing at pigeon* is this dynamic dispatch?

diesel

A safe, extensible ORM and Query Builder for Rust

discrete-math-idris

Using the dependently typed language Idris to prove things I run into while taking discrete math

ed-squared

Implementing ed, using ed.

extra-utilities-2-source

Sourcecode for Extra Utilities

flapjack-fwop-solver

Solves https://cassidoo.github.io/flapjack-fwop/ puzzles

ggez

Rust library to create a Good Game Easily

gpio-rs

Rust GPIO library supporting bare metal and Linux.

gutenberg

A fast static site generator in a single binary with everything built-in.

helm-pages

A Helm data source for pages in the current buffer

howoldisit

A tool for recruiters to check how old a technology is.

imp

interactive-c

Interactive programming in C with dynamic library loading and signals.

itch

:video_game: The best way to play your itch.io games

javanetworkinglesson

Teaching and learning how to do networking in Java

lalrpop-calculator-tutorial

Following the lalrpop tutorial!

lang-c

Lightweight C parser for Rust

lazuli

Trying to write a programming language in Rust, and dogfooding my s-expression parser

ledger-server-go

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

libm

A port of MUSL's libm to Rust.

lights