crow of judgement, weighing student compiler submissions
☆16Jul 8, 2025Updated 11 months ago
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 last month
- Programm zum Flotten, Einfachen Runterladen von Dateien☆178May 17, 2026Updated last month
- Application for communication and collective exchange of menu information in university catering facilities☆70May 4, 2026Updated last month
- An IntelliJ plugin providing inspections and visual enhancements for the Java MethodHandle, VarHandle, and Foreign Function & Memory APIs☆13Jun 3, 2026Updated 2 weeks ago
- 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.
- 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
- gTTS.js (Google Text to Speech)☆16Jul 5, 2016Updated 9 years ago
- a REST repository for NBT data☆11Jun 11, 2026Updated last week
- A pluggable actor system written in java leveraging modern features from JDK21+☆39Jun 10, 2026Updated last week
- 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
- Images in terminals☆10May 27, 2022Updated 4 years ago
- 🍳 Replaces Benedict Cumberbatch by silly names☆10Jul 30, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.☆18Apr 2, 2026Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated last year
- A 2d programming language☆19Mar 29, 2026Updated 2 months ago
- Macro to enable code depending on the rust version☆12Jul 20, 2022Updated 3 years ago
- ☆12May 30, 2026Updated 2 weeks ago
- MIninmal MAchine Assembler and Simulator☆21Nov 28, 2016Updated 9 years ago
- A d-ary heap in Rust☆22Apr 16, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Vim plugin for Bluespec SystemVerilog (BSV)☆12Nov 8, 2020Updated 5 years ago
- Kami Chan Optimized Modpack☆21Jun 10, 2026Updated last week
- A Karlsruhe Institute of Technology Slides Theme for Typst. This is only a mirror.☆20Jun 19, 2024Updated last year
- Issue tracker for uses of OpenStreetMap where the attribution is lacking.☆13Dec 24, 2019Updated 6 years ago
- A local-first, cross-platform note-taking app leveraging the Typst ecosystem. Designed to minimize distractions and enhance the retention…☆50May 5, 2026Updated last month
- A cross-platform endless-runner game implemented with C++ and built atop SDL2.☆20Nov 20, 2025Updated 6 months ago
- A minecraft plugin which allows you to use schematics in a brush via world edit☆22May 28, 2026Updated 3 weeks ago
- ☆26Jan 25, 2023Updated 3 years ago
- A program that generates geometry and recursively subdivides it into triangles, written in Rust☆22Dec 29, 2017Updated 8 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.
- Trilium quickly jumps to the last browsing position☆18Nov 12, 2024Updated last year
- DEPRECATED A Java library for retrieving information about Minecraft: JE server mappings☆71Nov 9, 2025Updated 7 months ago
- A helper to use remote references from `flake.lock` in stable Nix.☆23Jun 19, 2025Updated last year
- A kotlin-based configuration API for Minecraft mods☆10Aug 27, 2021Updated 4 years ago
- A web service that generates images of dependency graphs for crates hosted on crates.io☆19Aug 6, 2017Updated 8 years ago
- ☆44Sep 8, 2024Updated last year
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years ago