☆15Oct 27, 2021Updated 4 years ago
Alternatives and similar repositories for workshop-os
Users that are interested in workshop-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 6, 2023Updated 3 years ago
- Simple twitch bot made with Go - Study purpose☆18Oct 13, 2021Updated 4 years ago
- My NixOS configuration☆12Updated this week
- PKM + REPL + AI☆12Aug 2, 2024Updated 2 years ago
- Colin's configurations for bash, Helix, git, tmux, Hyprland, etc.☆15Updated this week
- 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.
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆14Aug 13, 2022Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- Neovim plugin to read, write and post articles on dev.to☆21Mar 30, 2026Updated 4 months ago
- ☆11May 26, 2022Updated 4 years ago
- Algebraic structures in OCaml.☆28Jul 5, 2026Updated last month
- Code style checker for Jane Street Packages☆21Jul 10, 2026Updated last month
- A CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- "Vivify" extensions for RoamResearch 😜☆14Mar 5, 2023Updated 3 years ago
- Simple wrapper for REST functions☆10Dec 4, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Jun 20, 2024Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 years ago
- ☆15Apr 15, 2023Updated 3 years ago
- A repository hosting some of my own vulnerability reports and proof-of-concepts.☆15Aug 8, 2019Updated 7 years ago
- an MDA that sends a webhook on recieval of mail☆11Sep 20, 2021Updated 4 years ago
- The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application pen…☆15Sep 29, 2019Updated 6 years ago
- Very loud vBulletin exploit☆14Aug 12, 2020Updated 5 years ago
- RISC-V 32i Pipeline CPU and Assembler☆19May 6, 2022Updated 4 years ago
- icof - in case of fire.☆12Jul 23, 2022Updated 4 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.
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- LuaSec library for love2d games☆13Oct 7, 2021Updated 4 years ago
- My personal site. Contains my blog and other useful sections☆14Updated this week
- ☆12Jul 12, 2021Updated 5 years ago
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Apr 11, 2026Updated 3 months ago
- ☆21Jul 15, 2026Updated 3 weeks ago
- ☆17Feb 18, 2026Updated 5 months ago
- Sockerl is an advanced Erlang/Elixir socket framework for TCP protocols and provides fast, useful and easy-to-use API for implementing s…☆28Sep 13, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Collection of helpers and utilities to aid in creating an API using Elixir and Phoenix☆15Apr 8, 2026Updated 4 months ago
- A general-purpose CLI for the Mender backend☆23Updated this week
- Luapress website source & config☆10Jul 17, 2019Updated 7 years ago
- Display lyrics from song played on Spotify☆10Nov 6, 2022Updated 3 years ago
- ☆14Aug 21, 2022Updated 3 years ago
- Apply eight-color palettes to any image. Use keyboard controls to choose a theme, set thresholds, and cycle hues.☆15Jan 5, 2023Updated 3 years ago
- OTP-native Chrome DevTools Protocol (CDP) browser automation for Elixir — drive headless Chrome over WebSocket, no ChromeDriver or Node.j…☆23Jul 28, 2026Updated last week