CMSC389R course at UMD
☆21Oct 2, 2019Updated 6 years ago
Alternatives and similar repositories for 389Rspring18
Users that are interested in 389Rspring18 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A selection of challenges created for UMDCTF 2017☆23Oct 26, 2019Updated 6 years ago
- A collection of ipython notebooks I've made for various projects☆11Mar 23, 2015Updated 11 years ago
- Functional CSS for humans (and printers).☆13Apr 30, 2018Updated 8 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- Research Paper Review Notes☆13Oct 26, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Paper Time is a simple MarkDown inspired syntax to track time using text files and a tool to convert those files into beautiful reports.☆10Feb 2, 2017Updated 9 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- ☆11Apr 19, 2019Updated 7 years ago
- todo backend for django☆10Aug 4, 2014Updated 12 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 4 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- An Emacs lisp client library for mpd☆12Aug 25, 2022Updated 4 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Simple task management app☆10Updated this week
- Just another IRC bot.☆14Aug 6, 2026Updated 3 weeks ago
- My personal Racket library of useful or generic commands☆11Feb 14, 2025Updated last year
- ☆15Dec 27, 2018Updated 7 years ago
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 9 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- Small helper to handle USBMS on Kobo in KOReader☆23Aug 15, 2026Updated 2 weeks ago
- A single source of truth for data definitions☆11Dec 10, 2022Updated 3 years ago
- EBA is a static bug finder for C.☆16Jun 22, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- create a secure-scuttlebutt feed☆15Jan 11, 2019Updated 7 years ago
- Information Repository on Various Methods of getting shell access into a Windows machine☆17Feb 11, 2020Updated 6 years ago
- web driver (selenium) client for guile☆13Jul 26, 2024Updated 2 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- [DEPRECATED] A simple example service, demonstrating gRPC integration with the Bond framework.☆18Mar 7, 2022Updated 4 years ago
- Ditto.☆18Jul 23, 2020Updated 6 years ago
- Utilities for working with HTTP status codes, errors, and more☆14Jan 23, 2023Updated 3 years ago
- An evolved implementation of the mediator pattern, helping you build highly maintainable systems☆10Mar 4, 2023Updated 3 years ago
- Gopher server written in Common Lisp☆13Nov 7, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- matter.farm, 7x7 beijing project w/ Sean Raspet☆11Feb 6, 2019Updated 7 years ago
- Minimal SML-based web server☆13Jun 19, 2015Updated 11 years ago
- PowerShell module containing cmdlets to search repositories, code, issues, pull requests, and users on GitHub.com☆14Apr 7, 2021Updated 5 years ago
- Running WebKit browser in Emacs!☆16Jul 16, 2014Updated 12 years ago
- Health-related apps using the LambdaNative framework☆23Mar 19, 2024Updated 2 years ago
- No pain HTML parsing library.☆12Apr 2, 2018Updated 8 years ago