Popular repositories Loading

1. posit-rust posit-rust Public

   Software implementation of the Posit floating point format

   Rust 10

2. haskell-logic haskell-logic Public

   My working through "Handbook of Practical Logic and Automated Reasoning" (John Harrison, 2009) in Haskell

   Haskell 5

3. teju-jagua-rs teju-jagua-rs Public

   Rust 2

4. electro electro Public

   Relatórios Electromagnetismo I

   TeX 1

5. flii flii Public

   1

6. famFranck-Hertz famFranck-Hertz Public

   FAM 2014 - Exp. de Franck Hertz

   1