axionbuster

axionbuster's Stars

• FFmpeg/FFmpeg

  Mirror of https://git.ffmpeg.org/ffmpeg.git

  Language:C46.9k1.5k012.3k

• emilk/egui

  egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

  Language:Rust23.1k1352k1.6k

• apple/foundationdb

  FoundationDB - the open source, distributed, transactional key-value store

  Language:C++14.7k2981.7k1.3k

• microsoft/TRELLIS

  Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation".

  Language:Python5.4k8884331

• borgo-lang/borgo

  Borgo is a statically typed language that compiles to Go.

  Language:Rust4.2k302758

• bytedance/monoio

  Rust async runtime based on io-uring.

  Language:Rust4.1k49100225

• kolbytn/mindcraft

  Language:JavaScript2.5k35228324

• diku-dk/futhark

  :boom::computer::boom: A data-parallel functional programming language

  Language:Haskell2.4k661.4k166

• facebookexperimental/hermit

  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

  Language:Rust1.2k152932

• GaloisInc/HaLVM

  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  Language:Haskell1.1k8310179

• phoboslab/qoa

  The “Quite OK Audio Format” for fast, lossy audio compression

  Language:C794323342

• Ciantic/VirtualDesktopAccessor

  DLL for accessing Windows 11/10 Virtual Desktop features from e.g. AutoHotkey

  Language:Rust790308293

• facebookexperimental/reverie

  An ergonomic and safe syscall interception framework for Linux.

  Language:Rust57416524

• commercialhaskell/stackage

  Stable Haskell package sets: vetted consistent packages from Hackage

  Language:Dockerfile532233k803

• h4tr3d/avcpp

  C++ wrapper for FFmpeg

  Language:C++464268785

• teorth/equational_theories

  A project to map out the relations between different equational theories of Magmas.

  Language:C277424065

• veyselusta/programming-language-research

  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

  169316

• Falconerd/engine-from-scratch

  Language:C1587613

• effectfully-ou/sketches

  A Haskell blog

  Language:Haskell1291224

• rrnewton/haskell-lockfree

  A collection of different packages for CAS based data structures.

  Language:Haskell107145425

• tomahawkins/improve

  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

  Language:Haskell57904

• TiarkRompf/reachability

  Language:Coq43802

• Articdive/ArticData

  Collection of data extracted from Minecraft.

  42440

• steam3d/MagicPodsCore

  A console application for controlling AirPods and a description of the AAP protocol (Apple Audio Protocol)

  Language:Python25244

• Nightfall-MCPE/NightfallProtocols

  A (not-so) simple multi-version plugin

  Language:PHP21462

• 0xd34df00d/hsqoi

  Haskell implementation of the QOI image format

  Language:Haskell17302

• joshvera/freemonad-benchmark

  Language:HTML9301

• MaxCan-Code/datakit

  Dyalog APL data utilities I use at work: idioms, view arrays, CSV, Excel, SQL

  Language:APL4000

• keilambda/ttfpi-agda

  Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda

  Language:Agda30

• k0001/hs-sq

  High level SQLite Haskell client

  Language:Haskell220