00Lyun00 / Charybdis-Nano-BuildlogView external linksLinks
My rendition of the Charybdis Nano split keyboard
☆12Jan 28, 2024Updated 2 years ago
Alternatives and similar repositories for Charybdis-Nano-Buildlog
Users that are interested in Charybdis-Nano-Buildlog are comparing it to the libraries listed below
Sorting:
- An endless runner game built on phaser and nodejs☆16Jan 9, 2018Updated 8 years ago
- Miniature breakout board for PIXART PMW3610 optical mouse sensor☆39Dec 12, 2022Updated 3 years ago
- Coffee Roasting Timer - Easily time your roast and track your development time with standard targets.☆11Mar 14, 2022Updated 3 years ago
- ☆13Jan 24, 2026Updated 3 weeks ago
- Zephyr module for the Cirque Pinnacle input driver.☆47Feb 18, 2025Updated 11 months ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Script that sets up OpenCode for building apps on Cloudflare and Replicate☆18Jan 28, 2026Updated 2 weeks ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- ☆20Updated this week
- ☆17Jan 6, 2024Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- An implementation of first-class pattern matches in Haskell.☆13Aug 29, 2020Updated 5 years ago
- A script for running Rocksmith (2014) from Steam Proton☆12Jan 20, 2021Updated 5 years ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- Write modern PHP code.☆10Feb 11, 2019Updated 7 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 6 months ago
- a Lean4 framework for the modeling and refinement of stateful systems☆23Dec 19, 2025Updated last month
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Shield for bastardkb's skeletyl and TBK mini, along with my keymap☆15Aug 17, 2023Updated 2 years ago
- the ultimate dashboard☆12Sep 26, 2017Updated 8 years ago
- Intellij plugin - Quickly jump to any visible position in the editor☆12Nov 13, 2017Updated 8 years ago
- An open source trackball.☆24Updated this week
- Provisioning distributed Minecraft server in Kubernetes using MultiPaper, Kind and Helm☆15May 11, 2025Updated 9 months ago
- Paicorea is a 42 keys split keyboard, with optional way to drive Azoteq TPS43 trackpad.☆21May 31, 2025Updated 8 months ago
- Misskey Meilisearch Data Migration Tool☆14Apr 2, 2024Updated last year
- USB HID keyboard firmware☆11Oct 8, 2021Updated 4 years ago
- Bug tracker for all our products☆15Feb 19, 2020Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Mar 20, 2020Updated 5 years ago
- Extensible sums and products for Haskell☆19Apr 29, 2023Updated 2 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Kakaotalk workflow for Alfred 4☆11Nov 11, 2022Updated 3 years ago
- A simple minesweeper game using Rust and windows-rs☆15Aug 22, 2021Updated 4 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- A DSL for asynchronous circuits specification☆13Oct 1, 2020Updated 5 years ago