papers-we-love / organizersView external linksLinks
Materials for starting a local Papers We Love chapter
☆101Aug 9, 2023Updated 2 years ago
Alternatives and similar repositories for organizers
Users that are interested in organizers are comparing it to the libraries listed below
Sorting:
- repository for questions that are asked (or you want answered!) during storytelling sessions☆12Sep 7, 2025Updated 5 months ago
- ☆15Oct 3, 2023Updated 2 years ago
- A docker swarm visualizer☆15Sep 1, 2025Updated 5 months ago
- Documentation for using Android Password Store☆13Feb 2, 2026Updated 2 weeks ago
- Blogging is a go!☆13Updated this week
- This is a Content Kit for people who want to teach programming to beginners.☆16Mar 31, 2019Updated 6 years ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- golang bgp implementation (w/o forwarding path programming; intended to be used in conjunction with keepalived)☆16Apr 5, 2016Updated 9 years ago
- Quantifier scope ambiguities are derived entirely from pragmatic assumptions, implemented in Game Theory.☆16Aug 30, 2018Updated 7 years ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Open Tracing Toolkit for ERlang☆24Jun 22, 2018Updated 7 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- Source for☆26Nov 19, 2023Updated 2 years ago
- An Ultimate Guide to DevOps Journey☆20Apr 20, 2023Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Apr 11, 2023Updated 2 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Aug 4, 2023Updated 2 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- Consul server data migrator☆20May 20, 2015Updated 10 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- ❄️ Nix flakes and Neovim☆25Jan 15, 2026Updated last month
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- A Gemini client for Android☆21Jul 7, 2025Updated 7 months ago
- NSW eTendering search API. This developer portal will provide users of eTender data with documentation, code examples, bug notifications…☆10Feb 27, 2019Updated 6 years ago
- Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms☆30Jul 2, 2023Updated 2 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- Rust bindings to netmap.☆28Sep 28, 2021Updated 4 years ago
- Explanation of what the org is for and how to use it☆28Dec 18, 2021Updated 4 years ago
- Software in this repository is not maintained anymore☆11Jul 6, 2022Updated 3 years ago
- The Flingo(R) desktop application flings to and remote controls TVs and other connected devices. Flingo is released on the GNU Public …☆25Nov 8, 2012Updated 13 years ago
- Redisplanet - An Ultimate Hands-on Labs on Redis☆32Dec 11, 2023Updated 2 years ago
- A Rocket based JSON Web Token authentication server.☆32Jun 29, 2020Updated 5 years ago
- Minor personal tweaks to suckless's scroll (for st)☆27Feb 6, 2021Updated 5 years ago
- A lightweight netctl tray app with notifications☆30May 19, 2021Updated 4 years ago