ابو الحسن الجاوي's starred repositories
awesome-for-beginners
A list of awesome beginners-friendly projects.
build-linux
A short tutorial about building Linux based operating systems.
digital-gardeners
Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
github-drama
"This conversation has been locked and limited to collaborators."
nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
plfa.github.io
An introduction to programming language theory in Agda
react-native-unistyles
Level up your React Native StyleSheet
haskell-companies
A gently curated list of companies using Haskell in industry
snake-fury
a challenge for Haskell beginners
eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
hs-opt-handbook.github.io
The Haskell Optimization Handbook
brass_mono
Monospaced font inspired by retro industrial design.