A shameless reddit clone using react + redux + official Reddit API.
☆14Sep 20, 2016Updated 9 years ago
Alternatives and similar repositories for reddit-client
Users that are interested in reddit-client are comparing it to the libraries listed below
Sorting:
- This crowd funding smart contract is built in solidity using remix IDE.☆10Jun 1, 2022Updated 3 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG☆11Nov 1, 2016Updated 9 years ago
- DAOscourse is a DAO Governance dApp leveraging the Lens protocol to create mechanisms to allow contributors to participate to the governa…☆12Apr 5, 2022Updated 3 years ago
- boilerplate for nestjs framework, contain logger, i18n, log management, authentication, unit/e2e testing.☆19Apr 16, 2018Updated 7 years ago
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- Topological sort algorithm☆15Jan 15, 2026Updated 2 months ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- 🧮 U128 helpers for Solana programs.☆11Sep 5, 2023Updated 2 years ago
- ☆14May 28, 2025Updated 9 months ago
- Hi, This is the source code for zeyadnotes.dev☆22Oct 19, 2025Updated 5 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Python code generator for Mozilla Parser AST☆11Feb 28, 2023Updated 3 years ago
- Fast serializable C++ dictionaries☆14Dec 30, 2025Updated 2 months ago
- A react component for 3d procedural mesh animations.☆12Feb 11, 2022Updated 4 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Morpho token contracts.☆14Dec 10, 2024Updated last year
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Coq plugin for extracting Rust code☆19Mar 2, 2026Updated 2 weeks ago
- ☆17Mar 17, 2023Updated 3 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago
- Real-Estate dapp based on Ethereum built with React.js, Truffle, Solidity & IPFS☆16Dec 7, 2022Updated 3 years ago
- A brief overview of the main CI services☆16Aug 1, 2025Updated 7 months ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- ☆12Dec 12, 2025Updated 3 months ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 10 months ago
- Solidity Crud operations☆25Oct 21, 2018Updated 7 years ago
- a solver for opam packages using 0install's solver engine☆22Jul 22, 2025Updated 8 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- nest js authentication and authorization with Admin & Users Roles☆23Nov 29, 2022Updated 3 years ago
- ☆12Oct 12, 2014Updated 11 years ago
- Web apps for Planck-related stuff☆13Sep 13, 2017Updated 8 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- ☆13Nov 19, 2024Updated last year
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago