aisamanra/rust-haskell-ffi - Toy example of calling Rust from Haskell turion/rhine - Haskell Functional Reactive Programming framework with type-level clocks schell/steeloverseer - A file watcher and development tool. ndmitchell/record-dot-preprocessor - A preprocessor for a Haskell record syntax usi...
[EN: Video] Type Theory for the Working Rustacean - Dan Pittman (Rust Belt Rust Conference) [EN: Video] A Type System From Scratch - Robert Widmann (Functional Swift) Homotopy Type Theory [EN: Text] Homotopy Type Theory (nLab) [EN: Video Playlist] Intro to Homotopy Type Theory (jacob...
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python Resources Readme License BSD-2-Clause license Activity Custom properties Stars 2.2k stars Watchers 60 watching Forks 55 forks Report repository Releases No releases ...
[EN: Video] Type Theory for the Working Rustacean - Dan Pittman (Rust Belt Rust Conference) [EN: Video] A Type System From Scratch - Robert Widmann (Functional Swift) Homotopy Type Theory [EN: Text] Homotopy Type Theory (nLab) [EN: Video Playlist] Intro to Homotopy Type Theory (jacob...