Skip to content
View weebney's full-sized avatar
🌀
🌀

Sponsoring

@hajimehoshi
@JuliaLang
@leaanthony
@elementary
@Jguer
@netbootxyz
@Vanilla-OS

Block or report weebney

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A date-time library for Rust that encourages you to jump into the pit of success.

Rust 1,613 24 Updated Aug 25, 2024

Library for implementing an mmap API in a kernel or runtime

C 4 Updated Aug 21, 2024

OpenTitan: Open source silicon root of trust

SystemVerilog 2,482 739 Updated Aug 24, 2024

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Python 1,929 118 Updated Aug 19, 2024

Adaptive Radix Trees implemented in Go

Go 350 51 Updated Apr 9, 2024

Go client for the Shopify API

Go 312 251 Updated Aug 17, 2024

A binary encoder/decoder for Rust

Rust 317 17 Updated Aug 14, 2024

A community-maintained Python framework for creating mathematical animations.

Python 20,450 1,503 Updated Aug 20, 2024

🚀 Make your PDF press-ready PDF/X-1a.

TypeScript 70 7 Updated Nov 9, 2022

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

Rust 32,283 864 Updated Aug 24, 2024

Lean 4 programming language and theorem prover

Lean 4,406 386 Updated Aug 25, 2024

This repository contains the code to deploy the infrastructure needed to run github actions.

HCL 13 2 Updated Feb 2, 2023

The Mojo Programming Language

Mojo 22,730 2,572 Updated Aug 24, 2024

Opinionated Go Project Template

Go 3 Updated Aug 22, 2024

Golang implementation of Radix trees

Go 874 97 Updated Jul 6, 2024

Railroad diagrams for the GQL language.

Python 3 Updated Aug 15, 2024

ANTLR Grammar and related content for GQL.

ANTLR 16 3 Updated Aug 15, 2024

A GQL parser build with ANTLR v4.

Java 48 11 Updated Sep 14, 2021

Optimal implementation of ordered maps for Golang - ie maps that remember the order in which keys were inserted.

Go 498 36 Updated Aug 16, 2024

Better Go Playground powered by Monaco editor

Go 1,239 79 Updated Aug 19, 2024

All ARM assembly commands on one pdf page

TeX 86 16 Updated Oct 29, 2019

Just, really the littlest Vec you could need. So smol.

Rust 643 48 Updated Aug 21, 2024

A configuration as code language with rich validation and tooling.

Java 10,068 265 Updated Aug 21, 2024

HOT - Height Optimized Trie

C++ 136 32 Updated Mar 26, 2018

Odin Programming Language

Odin 6,469 568 Updated Aug 25, 2024

Beef Programming Language

C++ 2,473 126 Updated Aug 25, 2024

Concurrent hash trie

Rust 51 3 Updated Sep 29, 2020

Real-time Geospatial and Geofencing

Go 9,043 564 Updated Aug 2, 2024

A font editor written in Rust.

Rust 761 37 Updated Jun 6, 2023

Minimal, configurable & GPU accelerated Immediate Mode UI Library written with modern OpenGL

C 735 30 Updated Jul 18, 2024
Next