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
-
-
rs.las.waymonad
rs.las.waymonad PublicForked from L-as/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
- 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 - chat.simplex.simplex-chat Public Forked from simplex-chat/simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
joaoyymoreira/chat.simplex.simplex-chat’s past year of commit activity - net.pioneerspacesim.pioneer Public Forked from pioneerspacesim/pioneer
A game of lonely space adventure
joaoyymoreira/net.pioneerspacesim.pioneer’s past year of commit activity - org.xmonad.xmonad Public Forked from xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
joaoyymoreira/org.xmonad.xmonad’s past year of commit activity