Skip to content
View avsm's full-sized avatar
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u

Sponsoring

@problame
@simulot
@stalwartlabs
@tmattio

Organizations

@mirage @horizon-institute @CTSRD-TESLA @ocaml @ocamllabs @realworldocaml @ocaml-attic @ocaml-bench @ocurrent

Block or report avsm

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
23 stars written in C++
Clear filter

A virtual machine for executing programs written in Hack.

C++ 18,573 3,067 Updated Dec 19, 2025

Watches files and records, or triggers actions, when they change.

C++ 13,434 1,045 Updated Dec 18, 2025

Apache Mesos

C++ 5,353 1,670 Updated Aug 23, 2024

MacOS Cross-Toolchain for Linux and *BSD

C++ 3,218 349 Updated Dec 15, 2025

Text-based desktop environment

C++ 3,210 75 Updated Dec 13, 2025

Procedural Noise Shader Routines compatible with WebGL

C++ 2,947 307 Updated Nov 15, 2024

Source code for SonoBus, a real-time network audio streaming collaboration tool.

C++ 1,937 154 Updated Apr 9, 2025

Utility to ease bundling libraries into executables for OSX

C++ 594 89 Updated Feb 21, 2024

PLEASE NOTE: Mesos is now hosted in Apache git! Get it using git clone https://git-wip-us.apache.org/repos/asf/mesos.git

C++ 418 73 Updated Jan 22, 2018

The Firmament cluster scheduling platform

C++ 413 76 Updated May 26, 2021

Standalone VM using LLVM JIT

C++ 313 30 Updated Oct 15, 2019

Ready-made packages of software for running on the Rumprun unikernel

C++ 205 77 Updated Nov 30, 2022

Simple boot-over-serial bootloader for the Raspberry Pi

C++ 146 31 Updated Dec 15, 2020

A system for maintaining replicated state machines

C++ 116 19 Updated Apr 26, 2017

OCaml bindings for clang

C++ 23 6 Updated May 1, 2018

OCaml ctypes bindings to llama.cpp

C++ 15 3 Updated Jan 23, 2024

Phoenix++ converted to use multiple processes

C++ 11 8 Updated Feb 17, 2022

tracking http://noxrepo.org/nox

C++ 7 Updated May 9, 2013

Mirror of http://llvm.org/git/clang.git with TESLA features added.

C++ 6 2 Updated Aug 2, 2012

Language, library and tools for DWARF-described interfaces

C++ 6 6 Updated Dec 5, 2025

Decommenting routines in various languages for WebGLSL

C++ 5 1 Updated Mar 8, 2013

Mirror of http://llvm.org/git/llvm.git. TESLA does not currently require any changes to LLVM, but we reserve the right to do so in the future!

C++ 5 2 Updated Jul 13, 2015

FABLE: Mythical I/O performance

C++ 3 Updated Dec 5, 2012