kammitama5's repositories
racket_jacket
racket_language_stuff
Data-Structures-And-Algorithms-Hacktoberfest18
List of data structures and algorithms. Feel free to contribute under Hacktoberfest '18!
SiSePuedeHaskell
Little Haskell programmes as I learn
assert_cmd
Assert process::Command - Easy command initialization and assertions.
predicates-rs
An implementation of boolean-valued predicate functions in Rust
Applicative_Browser
A long-term toy project of making a browser in Haskell
brittleparse
mini-project building parser in Rust
dhall-lang
A configuration language guaranteed to terminate
distsys-class
Class materials for a distributed systems lecture series
do-not-use-stack
fuck stack
dsss18
Lecture material for DeepSpec Summer School 2018
Elm_experiments
maybe I can actually make some things here.
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
graduate-fellowships
A list of resources to fund your MS and/or PhD, particularly in computer science.
hyperloglog
A constant-memory approximation of set membership
owl
Owl is an OCaml library for scientific and engineering computing.
racets
Faceted execution in Racket
rust-reach-www
the website for the rust reach program
rust-typed-arena
The arena, a fast but limited type of allocator
solana
Blockchain, Rebuilt for Scale
tcl
The Tcl Core. (Mirror from tcl @ core.tcl.tk)
the-little-typer
Resources for "The Little Typer" study group
Tob
Free, open-source and ad-less Tor web browser for iOS
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
women-tech-speakers-organizers
A list of women tech speakers & organizers. Add yourself or others by submitting a PR! PS if you do add someone, make sure to tell them! :) #fempire
xv6-rust
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language