ayhon's Stars
wagoodman/dive
A tool for exploring each layer in a docker image
charmbracelet/vhs
Your CLI home video recorder 📼
jj-vcs/jj
A Git-compatible VCS that is both simple and powerful
unisonweb/unison
A friendly programming language from the future
leanprover/lean4
Lean 4 programming language and theorem prover
tummychow/git-absorb
git commit --fixup, but automatic
dnhkng/GLaDOS
This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.
hyperlight-dev/hyperlight
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.
breezedeus/Pix2Text
An Open-Source Python3 tool with SMALL models for recognizing layouts, tables, math formulas (LaTeX), and text in images, converting them into Markdown format. A free alternative to Mathpix, empowering seamless conversion of visual content into text-based representations. 80+ languages are supported.
rdragos/awesome-mpc
A curated list of multi party computation resources and links.
eclipse-zenoh/zenoh
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
typelevel/skunk
A data access library for Scala + Postgres.
getkyo/kyo
Toolkit for Scala Development
Eliah-Lakhin/lady-deirdre
Compiler front-end foundation technology.
project-gauntlet/gauntlet
Raycast-inspired open-source cross-platform application launcher with React-based plugins
AeneasVerif/aeneas
A verification toolchain for Rust programs
model-checking/verify-rust-std
Verifying the Rust standard library
JGiraldo29/vekos
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
friedow/centerpiece
Your trusty omnibox search.
No-Instructions/Relay
Multiplayer Mode for Obsidian
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
parttimenerd/temci
An advanced benchmarking tool
opds-community/awesome-opds
A list of awesome resources for OPDS users and developers
epfl-lara/lisa
Proof assistant based on first-order logic and set theory
axiomed/http
🌐 | HTTP primitives for Lean 4
Verified-zkEVM/ZKLib
Formally Verified SNARKs in Lean
funexists/raylean
Lean4 bindings for raylib
UCppM/Recursos
Repositorio de la asociación de programación competitiva UCppM
hugoperez3i/proyectos3_RemoteArmControl
This project showcases the integration of a remote-control interface into a 3D-printed humanoid arm designed by Youbonic. The project enables real-time remote control via Blynk's web interface, facilitating seamless execution of predefined gestures.