Beast code in Giters

yuanhong's starred repositories

cheshire

A minimal Linux-capable 64-bit RISC-V SoC built around CVA6

Language:VerilogNOASSERTION15500

daizhigev20

殆知阁古代文献

123300

rust-bindgen

Automatically generates Rust FFI bindings to C (and some C++) libraries.

Language:RustBSD-3-Clause422900

aeron-rs

Rust aeron port

Language:RustApache-2.09700

aeron-go

Efficient reliable UDP unicast, UDP multicast, and IPC message transport - Go port

Language:GoApache-2.017400

Aeron.NET

Efficient reliable UDP unicast, UDP multicast, and IPC message transport - .NET port of Aeron

Language:C#Apache-2.048000

VINS-RGBD

Language:C++GPL-3.032400

iscloam

Intensity Scan Context based full SLAM implementation for autonomous driving. ICRA 2020

Language:C++NOASSERTION55900

xivo

X Inertial-aided Visual Odometry

Language:C++NOASSERTION84300

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.02990400

XPLR-HPG-hardware

900

XPLR-HPG-software

Language:CApache-2.01200

mojo

The Mojo Programming Language

Language:MojoNOASSERTION2211200

GSL

Guidelines Support Library

Language:C++NOASSERTION604900

nng-wolfssl

wolfSSL plugin for NNG

Language:CGPL-3.0100

quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Language:RustBSD-2-Clause910800

s2n-quic

An implementation of the IETF QUIC protocol

Language:RustApache-2.0110100

quic-interop-runner

QUIC interop runner

Language:PythonNOASSERTION20000

CT_from_Programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

Language:Scala27700

nng

nanomsg-next-generation -- light-weight brokerless messaging

Language:CMIT363400

NanoSDK

NanoSDK - MQTT 5.0-compliant SDK with QUIC support in NNG flavor

Language:CMIT2400

riscv-isa-manual

RISC-V Instruction Set Manual

Language:TeXCC-BY-4.0341900

awesome-riscv

😎 A curated list of awesome RISC-V implementations

12000

GraphGNSSLib

An Open-source Package for GNSS Positioning and Real-time Kinematic Using Factor Graph Optimization

Language:C46500

fenceless_robotic_lawnmower

No fence wires lawn mower with high precision GNSS, Long Range WiFi and GNSS Corrections over MQTT

Language:CMIT500

GITM

Ghost in the Minecraft: Generally Capable Agents for Open-World Environments via Large Language Models with Text-based Knowledge and Memory

58100

category-theory-for-programmers

These are my solutions to the tasks in the book "category theory for programmers" by Bartosz Milewski

Language:TeX100

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION1083600

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Language:Haskell122200

FART

ART环境下自动化脱壳方案

Language:PythonApache-2.0225600