some minor language changes and lots of awesome additions
☆56Jan 14, 2013Updated 13 years ago
Alternatives and similar repositories for coffee-of-my-dreams
Users that are interested in coffee-of-my-dreams are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- Bouncing DVD Logo☆11Apr 23, 2025Updated last year
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Group related files together using a common catalog number and instantly find them on macOS using a URL.☆13Apr 1, 2021Updated 5 years ago
- Pure JavaScript bit array/bitfield implementation☆52Mar 24, 2012Updated 14 years ago
- Ethereum block hallucinator☆16Oct 1, 2025Updated 6 months ago
- Prototype program to decode a video file looking for exploits/malware.☆17Jul 26, 2020Updated 5 years ago
- Nmap - the Network Mapper. Github mirror of official SVN repository.☆10Sep 5, 2018Updated 7 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- A fully interactive and interruptible custom view controller transition.☆11Nov 22, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Using poisson distribution to optimize/simulate staffing count decisions to minimize wait times☆11Feb 3, 2019Updated 7 years ago
- BLAKE3 hash tool☆14Jan 2, 2024Updated 2 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- ☆12Aug 7, 2021Updated 4 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- ☆12Mar 13, 2025Updated last year
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 6 years ago
- Debugger for Common Lisp systems.☆10Oct 18, 2024Updated last year
- ☆11Jul 20, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A web server use Go language, includes authentication.☆10Dec 29, 2016Updated 9 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 5 months ago
- Web Components Vector Icons 🚀🆕☆13Feb 24, 2018Updated 8 years ago
- 🚧 State Machine Compiler for Crystal☆13Apr 20, 2017Updated 9 years ago
- The Aeon Engine. A modern C++14-based game engine.☆10Oct 4, 2019Updated 6 years ago
- An Objective-c/Cocoa library that provides Software Transactional Memory capabilities as found in Clojure.☆18May 25, 2012Updated 13 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 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.
- Collection of scanner checks missing in Burp☆15Apr 22, 2022Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- ☆16Jun 9, 2024Updated last year
- Experiment deploying Rstudio to Google AppEngine