stevenaeola / progblack_2223View external linksLinks
☆11Feb 8, 2023Updated 3 years ago
Alternatives and similar repositories for progblack_2223
Users that are interested in progblack_2223 are comparing it to the libraries listed below
Sorting:
- ☆13Dec 13, 2024Updated last year
- Labs for programming class, based on HTML, CSS, JavaScript, and nodejs☆13Nov 30, 2025Updated 2 months ago
- A systems theorem prover☆11Jun 25, 2024Updated last year
- A framework for working with inference rules.☆10Sep 14, 2021Updated 4 years ago
- ML algorithms implemented from scratch and provided block by block☆12Dec 30, 2019Updated 6 years ago
- Control SuperCollider with node-red☆17Aug 5, 2023Updated 2 years ago
- Points for Free: Embedding Pointful Array Programming in Python☆20Sep 19, 2024Updated last year
- 🔬 Interpretability for Leela Chess Zero networks.☆19Nov 17, 2025Updated 2 months ago
- An easy way to collaboratively code social media posts for manual content and discourse analysis☆22Jul 27, 2023Updated 2 years ago
- ☆19Nov 28, 2020Updated 5 years ago
- Calculate cognitive complexity of Rust code☆19Feb 20, 2021Updated 4 years ago
- Allows to play single tones on the PyAudio sound output in real time.☆18May 25, 2022Updated 3 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- Examples and code demonstrations for the Image Processing module at Durham University☆41Feb 7, 2024Updated 2 years ago
- Code for "Closing the Train-Test Gap in World Models for Gradient-Based Planning"☆75Jan 20, 2026Updated 3 weeks ago
- Hybrid Approaches to Detect Comments Violating Macro Norms on Reddit☆28Jul 18, 2019Updated 6 years ago
- A port of cloudflared (Cloudflare Tunnel Client) to Rust.☆37Mar 6, 2025Updated 11 months ago
- PoC for communicating with an ELAN 04f3:0c4c fingerprint reader - See link for libfprint driver info☆31Jul 27, 2025Updated 6 months ago
- Claude et al. play the brilliant puzzle title "Baba is You"☆51Jun 30, 2025Updated 7 months ago
- Dart chess library for native platforms☆42Feb 3, 2026Updated last week
- The GAP package Digraphs☆44Jan 23, 2026Updated 3 weeks ago
- An implementation of the OpenMP directives for Zig☆43Sep 15, 2024Updated last year
- prototype linux driver for elantech spi-based fingerprint sensors☆44Jun 25, 2021Updated 4 years ago
- Template repository for making Lapce plugins☆56Mar 17, 2024Updated last year
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆85Nov 17, 2025Updated 2 months ago
- Python scripts for changing settings on Audient Evo 4/8 USB audio interfaces☆60Jun 6, 2025Updated 8 months ago
- Maia-2 is a new human-like neural network chess engine trained on millions of human games.☆103Jul 24, 2025Updated 6 months ago
- Error Context, Stack Trace, Types and Tags for full error handling and logging.☆68Oct 18, 2023Updated 2 years ago
- A package to simulate, filter, and estimate DSGE models with occasionally binding constraints☆64May 15, 2025Updated 9 months ago
- A module to help you emulate system wide keyboard and mouse actions.☆66Jul 31, 2021Updated 4 years ago
- HaDes-V is an Open Educational Resource for learning microcontroller design. It guides you through creating a pipelined 32-bit RISC-V pro…☆116Feb 2, 2026Updated 2 weeks ago
- PROJECT RENAMED. GO HERE:☆61Jul 27, 2024Updated last year
- A full C compiler, written in pure C. No 3rd party dependencies or parser generators☆164Jun 10, 2025Updated 8 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆107Dec 15, 2025Updated 2 months ago
- Use an Arduino to send HID (Human Interface Device) events to a host computer as if it were a keyboard☆129Jun 20, 2009Updated 16 years ago
- Scripts and styles centered on general accessibility☆104Aug 16, 2018Updated 7 years ago
- A "implementation" of Girard's paradox in OCaml☆110Apr 7, 2015Updated 10 years ago
- A simple, but reach, retro theme for Hugo☆160Mar 27, 2025Updated 10 months ago