Packaging for various SprezzOS userland components
☆27Oct 3, 2013Updated 13 years ago
Alternatives and similar repositories for sprezzos-world
Users that are interested in sprezzos-world are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open-source implementation of the CUDA API.☆13May 5, 2012Updated 14 years ago
- Rack middleware for serving LessCSS files compiled to CSS☆14Apr 16, 2013Updated 13 years ago
- Bot for counting karma in Telegram☆13Feb 12, 2024Updated 2 years ago
- A tool for network enumeration and domination.☆59Feb 8, 2024Updated 2 years ago
- Bismark is a project to take active network measurements from home routers☆19Oct 20, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A few examples for the latex chemfig package.☆13Jun 11, 2022Updated 4 years ago
- ☆12Oct 31, 2026Updated last week
- slides and materials for CS4803UWS at Georgia Tech, summer 2013, "UNIX Weapons School"☆26Aug 19, 2013Updated 13 years ago
- ☆10Jan 11, 2019Updated 7 years ago
- CLI tool for indexing local markdown files which can then be searched for using natural language queries; a duck duck go for your local f…☆12Apr 18, 2022Updated 4 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- A threaded, continuations-based I/O event library for manycore NUMA machines☆75May 19, 2021Updated 5 years ago
- Annex Done Right: Spec Ops (TEHGAM 1)☆10Apr 19, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- RESTful Easy Messages plug-in for Rails☆21Jun 30, 2008Updated 18 years ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- ☆11Aug 24, 2021Updated 5 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- MTProto [de]serialization for Rust☆12May 20, 2019Updated 7 years ago
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆10Dec 28, 2024Updated last year
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple Capistrano plugin to post a Basecamp message for each deploy listing the git commit messages that happened since the last deploy☆28Dec 18, 2008Updated 17 years ago
- 基于 http://xclient.info 的 Mac 破解软件版本信息的更新、统计、查看、通知☆10Nov 2, 2018Updated 8 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 16 years ago
- 程式人雜誌☆11Dec 23, 2023Updated 2 years ago
- ☆10Mar 10, 2016Updated 10 years ago
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- ☆16May 14, 2026Updated 5 months ago
- A command-line program for creating and reading webloc files☆16Oct 9, 2026Updated 3 weeks 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.
- ☆10Dec 22, 2017Updated 8 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- A full-featured automatic indexing system.☆11Jan 10, 2020Updated 6 years ago
- ☆12Dec 4, 2021Updated 4 years ago
- A collection of algorithm problems I solved on different sites☆11Oct 2, 2012Updated 14 years ago
- My kupfer plugins install with Kupfer☆11Dec 26, 2022Updated 3 years ago
- The click to call plugins will turn phone numbers on web pages into clickable links. When clicking the links, the tel: uri is called for …☆10Dec 9, 2014Updated 11 years ago