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
- ☆14Updated this week
- Coffee Roasting Timer - Easily time your roast and track your development time with standard targets.☆11Mar 14, 2022Updated 3 years ago
- Zephyr module for the Cirque Pinnacle input driver.☆49Feb 18, 2025Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years 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
- ☆17Jan 6, 2024Updated 2 years ago
- Script that sets up OpenCode for building apps on Cloudflare and Replicate☆21Jan 28, 2026Updated last month
- A script for running Rocksmith (2014) from Steam Proton☆12Jan 20, 2021Updated 5 years ago
- ☆21Feb 10, 2026Updated 3 weeks ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated last week
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- the ultimate dashboard☆12Sep 26, 2017Updated 8 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- Write modern PHP code.☆10Feb 11, 2019Updated 7 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- Shield for bastardkb's skeletyl and TBK mini, along with my keymap☆16Aug 17, 2023Updated 2 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Kakaotalk workflow for Alfred 4☆12Nov 11, 2022Updated 3 years ago
- USB HID keyboard firmware☆11Oct 8, 2021Updated 4 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
- Bug tracker for all our products☆15Feb 19, 2020Updated 6 years ago
- Paicorea is a 42 keys split keyboard, with optional way to drive Azoteq TPS43 trackpad.☆23May 31, 2025Updated 9 months ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last week
- Misskey Meilisearch Data Migration Tool☆14Apr 2, 2024Updated last year
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 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
- A simple minesweeper game using Rust and windows-rs☆15Aug 22, 2021Updated 4 years ago
- Provisioning distributed Minecraft server in Kubernetes using MultiPaper, Kind and Helm☆15May 11, 2025Updated 9 months ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Intellij plugin - Quickly jump to any visible position in the editor☆12Nov 13, 2017Updated 8 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- Formal specification of the Haskell Language Report☆32Updated this week
- Редактируемая статья для блога: систематизирую информацию о геометрии Лобачевского (гиперболической геометрии).☆13Mar 31, 2022Updated 3 years ago
- Swift wrapper for https://github.com/PurpleI2P/i2pd☆14Aug 1, 2025Updated 7 months ago