CUDD: CU Decision Diagram package - with CMake and extended C++

A community-driven framework for managing your zsh configuration. Includes optional plugins for various tools (rails, git, OSX, brew,...), over 40 terminal themes, and an auto-updating tool so that…

Concurrent decision diagram framework written in Rust

HuggingFace Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Monorepo containing a machine-readable database of the RISC-V specification and artifact generation tools

RISC-V Opcodes

A Tiny ARM-like model for Sail

Sail architecture definition language

ASTChunk is a Python toolkit for code chunking using Abstract Syntax Trees (ASTs), designed to create structurally sound and meaningful code segments.

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

ABC: System for Sequential Logic Synthesis and Formal Verification

Python bindings to the Tree-sitter parsing library

An incremental parsing system for programming tools

A readline and libedit replacement that supports UTF-8, syntax highlighting, hints and Windows and is BSD licensed.