omar's repositories
book
The Rust Programming Language
Language:RustNOASSERTION000
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Language:RustApache-2.0000
cpython
The Python programming language
Language:PythonNOASSERTION000
firstSample
A very simple example of a REST web services using Express.js a Node.js framework and MongoDB
fp-lean
Functional Programming in Lean
Language:JavaScriptNOASSERTION000
ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Language:C++GPL-2.0000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
Language:LeanApache-2.0000
nlab-content-html
A file-based mirror of the nLab wiki (HTML format).
Language:HTML000
Language:JavaScript000
TypeScriptSamples
Samples for TypeScript
Language:TypeScript000
rust-reference
The Rust Reference
Language:RustApache-2.0000
vyper
Pythonic Smart Contract Language for the EVM
Language:PythonNOASSERTION000
Language:PythonNOASSERTION000