☆13Oct 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for lean-react
Users that are interested in lean-react are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SGLIB - a simple generic library for C☆11Oct 5, 2023Updated 3 years ago
- An implementation of a reactor pattern with the accompanying IPC server/client example.☆10Feb 10, 2021Updated 5 years ago
- git clone that can clone in haskell☆14Oct 5, 2023Updated 3 years ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 5 months ago
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides☆10Aug 21, 2026Updated 2 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- ☆14Oct 4, 2022Updated 4 years ago
- ☆32Oct 16, 2026Updated 3 weeks ago
- exhaustive implementation of clocks in distributed systems☆14Updated this week
- A C++ header only library providing functionalitiy for design by contract☆12May 23, 2022Updated 4 years ago
- A clean 80's synthwave / outrun inspired theme written in Lua ported from the Visual Studio Code LaserWave theme.☆10Oct 26, 2026Updated last week
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- ☆11Aug 29, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Preview the current ivy file selection.☆14Jun 19, 2026Updated 4 months ago
- The cyrnel server☆16Oct 28, 2026Updated last week
- An Ra2 observer deeply inspired by ra2viewer.☆11Mar 31, 2025Updated last year
- Emacs icon for macOS Sonoma☆12Sep 26, 2023Updated 3 years ago
- First-up chord-send and tap-and-hold chord repeat extensions to QMK.☆12Jul 19, 2022Updated 4 years ago
- Rust generator for the X-Castle-Request-Token header minted by Castle's web SDK. Python & JS bindings included.☆23Jun 22, 2026Updated 4 months ago
- Extended Backus-Naur Form mode for Emacs☆12Nov 3, 2019Updated 7 years ago
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- Python script which help to block Twitter users massively☆11Dec 30, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Plover paper tape plugin with hesitation bars and stroke suggestions☆18Oct 23, 2022Updated 4 years ago
- Soho vibes for Linux TTY☆16Nov 5, 2025Updated last year
- Ayu themes: Dark, Light, Mirage for vimium☆11Sep 8, 2021Updated 5 years ago
- Fan Shroud for the Spark platform, for improved cooling performance on long workloads. Full STL/STEP files + electronics schematics☆41Sep 22, 2026Updated last month
- Latent Large Language Models☆19Aug 24, 2024Updated 2 years ago
- A minimalistic theme for Vimium-C☆15Aug 18, 2025Updated last year
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 10 months ago
- Firmware for the EcoSteno stenographer keyboard☆12Feb 17, 2023Updated 3 years ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implementation of the Influence Maximization Benchmarker (IMB)☆14Aug 10, 2023Updated 3 years ago
- ☆16Nov 23, 2020Updated 5 years ago
- Instructions and configurations for installing Arch Linux on an 11 inch early 2015 Macbook Air☆16May 2, 2022Updated 4 years ago
- Opensource Game engine made in JAVA and OpenGL☆23Dec 17, 2025Updated 10 months ago
- This is a simple Python cryptocurrency trading bot that leverages arbitrage opportunities☆12Jul 6, 2018Updated 8 years ago
- Google Clone With React ( Hooks + Context API ) and Google Custom Search JSON API ( Programmable Search Engine )☆10Sep 11, 2020Updated 6 years ago
- ☆12Mar 2, 2026Updated 8 months ago