☆18Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for cmsc330spring18-public
Users that are interested in cmsc330spring18-public are comparing it to the libraries listed below
Sorting:
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- MAD documentation☆37Jan 29, 2024Updated 2 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- RPi + soil sensors to track when my plants need watering☆12Oct 6, 2024Updated last year
- A massaging of DJB's various client libraries into something that's easy to build and use☆14Aug 20, 2008Updated 17 years ago
- 🚀 [ICLR '25] RocketEval: Efficient Automated LLM Evaluation via Grading Checklist☆15Aug 21, 2025Updated 6 months ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- TypeScript execution and REPL for node.js☆14Jul 30, 2025Updated 7 months ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆18Apr 19, 2016Updated 9 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- VLC remote control interface for emacs☆12Sep 12, 2019Updated 6 years ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- Port of dwmstatus to Rust☆11Oct 18, 2020Updated 5 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- An R package of assertive functions to check the properties of common R objects.☆13Jun 3, 2025Updated 9 months ago
- Peggo is a Go implementation of the Gravity Bridge Orchestrator for the Umee network.☆13Apr 20, 2023Updated 2 years ago
- ☆16Updated this week
- A BTree implementation as a python C extension☆24May 11, 2015Updated 10 years ago
- forked from git://git.savannah.gnu.org/gawk.git☆12May 24, 2022Updated 3 years ago
- tokio_codec for Session Initiation Protocol (SIP)☆12Apr 14, 2019Updated 6 years ago
- HPy porting of https://github.com/esnme/ultrajson☆16May 8, 2023Updated 2 years ago
- A tendermint signer☆12Oct 19, 2020Updated 5 years ago
- Military-Grade Password Manager☆12Dec 6, 2016Updated 9 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago
- Implement play-sound-internal on osx using aplay☆18Mar 29, 2024Updated last year
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago
- Primitives for CSRF protection.☆14Mar 1, 2025Updated last year
- AT Protocol IPLD-CAR Repository toolkit (CLI)☆10Oct 25, 2025Updated 4 months ago
- Share text, code and more on the ATmosphere!☆11Dec 22, 2024Updated last year
- Website for the JavaScript meetup in Cologne, Germany☆30Dec 8, 2016Updated 9 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- ~talkbot, the one and only.☆12May 30, 2018Updated 7 years ago
- The web front-end for C++ Patterns.☆16Jul 5, 2021Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- A port of Spring Petclinic to Axum☆14Aug 12, 2022Updated 3 years ago