ayhon

ayhon's Stars

• wagoodman/dive

  A tool for exploring each layer in a docker image

  Language:Go49.9k3643401.9k

• charmbracelet/vhs

  Your CLI home video recorder 📼

  Language:Go16k33214276

• jj-vcs/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust11.9k681.1k420

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell6k1052.9k274

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean5.2k622.1k547

• tummychow/git-absorb

  git commit --fixup, but automatic

  Language:Rust4.9k188978

• 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.

  Language:Python4.6k5269354

• 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.

  Language:Rust2.8k236898

• 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.

  Language:Jupyter Notebook2.3k1997211

• rdragos/awesome-mpc

  A curated list of multi party computation resources and links.

  1.8k10511261

• 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.

  Language:Rust1.7k33540181

• sharkdp/numbat

  A statically typed programming language for scientific computations with first class support for physical dimensions and units

  Language:Rust1.6k1137261

• typelevel/skunk

  A data access library for Scala + Postgres.

  Language:Scala1.6k29147165

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala6142918159

• Eliah-Lakhin/lady-deirdre

  Compiler front-end foundation technology.

  Language:Rust44891714

• project-gauntlet/gauntlet

  Raycast-inspired open-source cross-platform application launcher with React-based plugins

  Language:Rust44164917

• AeneasVerif/aeneas

  A verification toolchain for Rust programs

  Language:OCaml242516321

• model-checking/verify-rust-std

  Verifying the Rust standard library

  Language:Rust21782841

• JGiraldo29/vekos

  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.

  Language:Rust2033312

• friedow/centerpiece

  Your trusty omnibox search.

  Language:Rust1996557

• No-Instructions/Relay

  Multiplayer Mode for Obsidian

  Language:TypeScript179256

• Frama-C/Frama-C-snapshot

  Release snapshots of the Frama-C platform for source code analysis

  Language:OCaml171164038

• parttimenerd/temci

  An advanced benchmarking tool

  Language:Python162510016

• opds-community/awesome-opds

  A list of awesome resources for OPDS users and developers

  150507

• epfl-lara/lisa

  Proof assistant based on first-order logic and set theory

  Language:Scala3653820

• axiomed/http

  🌐 | HTTP primitives for Lean 4

  Language:Lean34237

• Verified-zkEVM/ZKLib

  Formally Verified SNARKs in Lean

  Language:Lean32354

• funexists/raylean

  Lean4 bindings for raylib

  Language:C11504

• UCppM/Recursos

  Repositorio de la asociación de programación competitiva UCppM

  Language:C++50

• 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.

  Language:C++1