crow of judgement, weighing student compiler submissions
☆16Jul 8, 2025Updated last year
Alternatives and similar repositories for crow
Users that are interested in crow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Colorscheme for vim using the KIT color palette☆17Sep 17, 2023Updated 2 years ago
- TUI client for euphoria.leet.nu, a threaded real-time chat platform☆10May 4, 2026Updated 2 months ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆178Updated this week
- A web application that checks code against a range of user submitted tests.☆33Mar 27, 2024Updated 2 years ago
- ☆19Jan 4, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a REST repository for NBT data☆11Jul 1, 2026Updated last week
- A pluggable actor system written in java leveraging modern features from JDK21+☆39Jun 10, 2026Updated 3 weeks ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- Atomic, non-blocking, hash-based data structures for Java (Map and Store)☆16Jan 24, 2026Updated 5 months ago
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- Misc debugging utilities.☆12Dec 18, 2025Updated 6 months ago
- 🍳 Replaces Benedict Cumberbatch by silly names☆10Jul 30, 2019Updated 6 years ago
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆28Jun 30, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A screenshot tool for unix-systems which runs natively on Wayland and X11!☆28Jan 27, 2025Updated last year
- A threaded chat platform.☆14Aug 18, 2025Updated 10 months ago
- A Discord bot serving Javadoc. Uses https://github.com/I-Al-Istannen/JavadocIndexer.☆16Apr 2, 2026Updated 3 months ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- This repository holds the source code for https://kitctf.de/.☆10Jun 24, 2026Updated 2 weeks ago
- Performance analysis benchmark suite for the Java Vector API☆20Dec 29, 2022Updated 3 years ago
- Macro to enable code depending on the rust version☆12Jul 20, 2022Updated 3 years ago
- Matrix bot to help with community management☆24Sep 14, 2025Updated 9 months ago
- Integration Test Framework for Paper!☆23Dec 15, 2023Updated 2 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.
- ☆12May 30, 2026Updated last month
- CFF3000 GPIO Interface☆10May 14, 2018Updated 8 years ago
- Custom Lightshot server written in Java☆10Dec 5, 2020Updated 5 years ago
- Simple Firefox extension to switch to a random, open tab.☆16Jan 12, 2024Updated 2 years ago
- ☆25May 2, 2026Updated 2 months ago
- An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…☆11Apr 22, 2018Updated 8 years ago
- Small Anki extension which integrates a live preview into the card editor. Very much work in progress.☆16Jun 19, 2024Updated 2 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆12Nov 8, 2020Updated 5 years ago
- Java Bridge Method Maker☆32May 26, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Seven Circles Theorem made with manim☆12Apr 7, 2024Updated 2 years ago
- Kami Chan Optimized Modpack☆21Jun 21, 2026Updated 2 weeks ago
- A Karlsruhe Institute of Technology Slides Theme for Typst. This is only a mirror.☆21Jun 19, 2024Updated 2 years ago
- Issue tracker for uses of OpenStreetMap where the attribution is lacking.☆13Dec 24, 2019Updated 6 years ago
- A Kotlin Multiplatform library for creating JSON Schemas from Serializable classes☆12Jun 4, 2026Updated last month
- A cross-platform endless-runner game implemented with C++ and built atop SDL2.☆20Nov 20, 2025Updated 7 months ago
- A minecraft plugin which allows you to use schematics in a brush via world edit☆22Jun 26, 2026Updated last week