Pinned Repositories
adsb_deku
✈️ Rust ADS-B decoder + tui radar application
bincode
A binary encoder / decoder implementation in Rust.
black
Kenichi Asai's reflective programming language Black
blade
Sharp and simple graphics library
boa
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language.
borgo
Borgo is a statically typed language that compiles to Go.
carbonyl
Chromium running inside your terminal
coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
core
MoonBit's Core library
Energy-Languages
The complete set of tools for energy consumption analysis of programming languages, using Computer Language Benchmark Game
gabemeikle's Repositories
gabemeikle/coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
gabemeikle/adsb_deku
✈️ Rust ADS-B decoder + tui radar application
gabemeikle/borgo
Borgo is a statically typed language that compiles to Go.
gabemeikle/carbonyl
Chromium running inside your terminal
gabemeikle/core
MoonBit's Core library
gabemeikle/exo
Exocompilation for productive programming of hardware accelerators
gabemeikle/funsearch
gabemeikle/gabemeikle
gabemeikle/fwumious_wabbit
Fwumious Wabbit, fast on-line machine learning toolkit written in Rust
gabemeikle/geometric_algebra
Generate(d) custom libraries for geometric algebras
gabemeikle/hermit
Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
gabemeikle/hoard
cli command organizer written in rust
gabemeikle/imgcatr
cat for images, by RUST 🦀️
gabemeikle/jsonformer
A Bulletproof Way to Generate Structured JSON from Language Models
gabemeikle/jsr
The open-source package registry for modern JavaScript and TypeScript
gabemeikle/LookMaNoMatrices
Supplanting matrices with PGA in a forward 3D renderer.
gabemeikle/madsim
Magical Deterministic Simulator for distributed systems in Rust.
gabemeikle/mamba
gabemeikle/miniagda
rust implementation for a subset of the agda programming language
gabemeikle/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
gabemeikle/open-hypergraphs
Rust (re-)implementation of https://github.com/statusfailed/open-hypergraphs
gabemeikle/pax
User interface engine for native apps & WebAssembly sites
gabemeikle/petgraph
Graph data structure library for Rust.
gabemeikle/posteriors
Uncertainty quantification with PyTorch
gabemeikle/simple-llm-finetuner
Simple UI for LLM Model Finetuning
gabemeikle/spinoza
gabemeikle/terraform-provider-kubectl
Terraform provider to handle raw kubernetes manifest yaml files
gabemeikle/tinyengine
[NeurIPS 2020] MCUNet: Tiny Deep Learning on IoT Devices; [NeurIPS 2021] MCUNetV2: Memory-Efficient Patch-based Inference for Tiny Deep Learning; [NeurIPS 2022] MCUNetV3: On-Device Training Under 256KB Memory
gabemeikle/TokenPolice
Circuits to reduce dimensionality for transformers
gabemeikle/YiVal
Your Auto-tuning Assistant for GenAI Applications