g0djan
Follow
Stars
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean theorem proving interface which feels like pen-and-paper proofs.
🎮 Advanced Deep Learning and Reinforcement Learning at UCL & DeepMind | YouTube videos 👉
An implementation of Messaging Layer Security (RFC 9420)
Rust implementation of the Messaging Layer Security (MLS) protocol
Retrieve author and publication information from Google Scholar in a friendly, Pythonic way without having to worry about CAPTCHAs!
Front-end skills aren't needed anymore to create a web application. Use the Cursor IDE, it'll write the code for you. ⬇️⬇️⬇️ Scroll down to see the guide 👇👇👇
libcurl 8 + OpenSSL 3 compiled for WebAssembly/WASI (compatible with WAMR libsocket extension)
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
The DNS server with routing by name concept based on Wireguard
🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The must-have extension for a mouse-free Firefox experience
Some example scripts for building a parallel compression/decompression tool for WebAssembly
Lightning-fast and Powerful Code Editor written in Rust
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
a multi-language bindings generator for rust
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
WebAssembly Micro Runtime (WAMR)
Empowering everyone to build reliable and efficient software.