joaoyymoreira
Popular repositories Loading
-
-
com.higherorderco.bend
com.higherorderco.bend PublicForked from HigherOrderCO/Bend
A massively parallel, high-level programming language
Rust
-
com.higherorderco.kind
com.higherorderco.kind PublicForked from HigherOrderCO/Kind
A modern proof language
Haskell
-
com.higherorderco.kindbook
com.higherorderco.kindbook PublicForked from HigherOrderCO-archive/kindbook
C
-
rs.las.waymonad
rs.las.waymonad PublicForked from waymonad/waymonad
A wayland compositor based on ideas from and inspired by xmonad
Haskell
-
org.xmonad.xmonad
org.xmonad.xmonad PublicForked from xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Haskell
Repositories
- edu.brown.cs.cel.rust-book Public Forked from cognitive-engineering-lab/rust-book
The Rust Programming Language: Experimental Edition
joaoyymoreira/edu.brown.cs.cel.rust-book’s past year of commit activity - com.michaelfbryan.mdbook-epub Public Forked from Michael-F-Bryan/mdbook-epub
An experimental mdbook backend for creating EPUB documents.
joaoyymoreira/com.michaelfbryan.mdbook-epub’s past year of commit activity - _.dieterplex.mdbookshelf Public Forked from dieterplex/mdbookshelf
A Rust library/application to render a collection of books to EPUB
joaoyymoreira/_.dieterplex.mdbookshelf’s past year of commit activity - com.higherorderco.victortaelin.interaction-calculus Public Forked from VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
joaoyymoreira/com.higherorderco.victortaelin.interaction-calculus’s past year of commit activity - _.asafbart.hvm-regex Public Forked from asafbart/hvm-regex
initial exploration how hvm3 regex implementation will hold up, documenting the attempt, much to be improved
joaoyymoreira/_.asafbart.hvm-regex’s past year of commit activity - chat.simplex.simplexmq Public Forked from simplex-chat/simplexmq
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
joaoyymoreira/chat.simplex.simplexmq’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…