anwarmamat / cmsc330spring18-publicView external linksLinks
☆18Oct 3, 2018Updated 7 years 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 web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Functional Event Sourcing Decider in Ruby☆16Feb 3, 2026Updated last week
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- MAD documentation☆37Jan 29, 2024Updated 2 years ago
- Tiny Cooperative Process Management Library/Embedded Bounded Queue Actor Model (C11)☆40Nov 7, 2018Updated 7 years ago
- Scalable Modeling - An event-centric approach for modeling scalable systems☆10Dec 20, 2025Updated last month
- A minimalistic popup calendar☆10Jul 30, 2023Updated 2 years ago
- TypeScript execution and REPL for node.js☆14Jul 30, 2025Updated 6 months ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- KYC Implementation examples using an MVC framework compared to Booster Framework☆15May 22, 2023Updated 2 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- The security airlock is the entry point to a rocket. Everything from the outside environment that wants to enter a rocket, needs to go th…☆10Oct 2, 2024Updated last year
- ☆10Mar 22, 2020Updated 5 years ago
- A simple Gem for throttling shopify API calls to stay within limits☆11Mar 29, 2023Updated 2 years ago
- A Scheduling Problem in Prolog☆12Feb 3, 2016Updated 10 years ago
- Tomatoes or something☆13Apr 7, 2018Updated 7 years ago
- 🚀 [ICLR '25] RocketEval: Efficient Automated LLM Evaluation via Grading Checklist☆15Aug 21, 2025Updated 5 months ago
- This gem gives developers an easy to understand and easy to maintain schema for request parameters.☆13Feb 18, 2024Updated last year
- Direct Uploads to Amazon S3 and DigitalOcean Spaces using Rails ActiveStorage☆10May 31, 2018Updated 7 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆17Apr 19, 2016Updated 9 years ago
- ☆14Mar 2, 2021Updated 4 years ago
- Cherly (sher-lee) is an in-VM caching library for Erlang.☆25May 14, 2013Updated 12 years ago
- Port of dwmstatus to Rust☆11Oct 18, 2020Updated 5 years ago
- A massaging of DJB's various client libraries into something that's easy to build and use☆14Aug 20, 2008Updated 17 years ago
- tokio_codec for Session Initiation Protocol (SIP)☆12Apr 14, 2019Updated 6 years ago
- Peggo is a Go implementation of the Gravity Bridge Orchestrator for the Umee network.☆13Apr 20, 2023Updated 2 years ago
- A BTree implementation as a python C extension☆24May 11, 2015Updated 10 years ago
- CS510 Advanced Topics in Concurrency Project☆15Jun 4, 2020Updated 5 years ago
- Military-Grade Password Manager☆12Dec 6, 2016Updated 9 years ago
- AT Protocol IPLD-CAR Repository toolkit (CLI)☆10Oct 25, 2025Updated 3 months ago
- Implement play-sound-internal on osx using aplay☆18Mar 29, 2024Updated last year
- ☆15Dec 27, 2023Updated 2 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Custom fields forActiveRecord models, suppport Rails 4!☆12Dec 27, 2016Updated 9 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago