Skip to content
View hannelita's full-sized avatar

Block or report hannelita

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A listing of compiler, language and runtime teams for people looking for jobs in this area

HTML 544 66 Updated Dec 6, 2024

Petr4: Formal Semantics for P4

P4 79 21 Updated Jul 15, 2024

Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.

Rust 289 11 Updated Nov 19, 2024

Godot Engine – Multi-platform 2D and 3D game engine

C++ 92,092 21,366 Updated Dec 23, 2024

A Language Server Protocol (LSP) compliant analyzer for the P4 language

Rust 21 3 Updated Jun 30, 2023

An in-memory datalog implementation for OCaml.

Prolog 263 24 Updated Oct 17, 2024

A model checker for implementing distributed systems.

Rust 1,594 58 Updated Oct 7, 2024

Generic Register Interface (contains various adapters)

SystemVerilog 101 24 Updated Sep 25, 2024

P4 language tutorials

P4 1,381 894 Updated Dec 23, 2024

Tuplex is a parallel big data processing framework that runs data science pipelines written in Python at the speed of compiled code. Tuplex has similar Python APIs to Apache Spark or Dask, but rath…

C++ 809 45 Updated Mar 28, 2024

A Python Interpreter written in Rust

Rust 19,367 1,258 Updated Dec 11, 2024

An HTTP library for Rust

Rust 14,754 1,608 Updated Dec 18, 2024

Intermediate Language (IL) for Hardware Accelerator Generators

Rust 507 52 Updated Dec 19, 2024

Sail RISC-V model

Coq 485 171 Updated Dec 19, 2024

Finite sets and maps for Coq with extensional equality

Coq 29 6 Updated Dec 12, 2024

P4 codes for research projects

P4 207 56 Updated Nov 3, 2024

A Coq to Cedille compiler written in Coq

Coq 33 2 Updated Sep 22, 2020

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Rust 4,364 144 Updated Dec 24, 2024

Rust zeromq bindings.

Rust 910 193 Updated Dec 14, 2024

Rust implementation of the Messaging Layer Security (MLS) protocol

Rust 665 80 Updated Dec 20, 2024

A Rust procedural language handler for PostgreSQL

Rust 1,128 33 Updated Aug 26, 2024

Lower-Kinded Optics for OCaml

OCaml 21 Updated Oct 9, 2022

A Haskell to Coq compiler that represents effectful programs with the free monad

Haskell 44 3 Updated May 31, 2022

A new markup-based typesetting system that is powerful and easy to learn.

Rust 36,249 975 Updated Dec 20, 2024

HTTP client / server with limited dependencies

Rust 24 8 Updated Nov 20, 2024

An experimental RISC-V recompiler

Rust 18 1 Updated Apr 6, 2023

A Seamless, Interactive Tactic Learner and Prover for Coq

OCaml 60 20 Updated Dec 16, 2024

Defines the Rust borrow checker.

Rust 1,367 74 Updated Jun 19, 2024

Documentation of the OCaml implementation

53 Updated Mar 21, 2023
Next