Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View javachaos's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
3 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report javachaos

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

Showing results

Drakulix / simplelog.rs

Simple Logging Facility for Rust

Rust 473 73 Updated Aug 21, 2024

kroitor / gjk.c

Gilbert-Johnson-Keerthi (GJK) collision detection algorithm in 200 lines of clean plain C

C 886 86 Updated Sep 13, 2021

Reiten966 / Polyformer

Polyformer is an open-source project that aims to recycle plastics into FDM filaments

G-code 1,096 133 Updated Sep 25, 2025

AbsInt / CompCert

The CompCert formally-verified C compiler

Rocq Prover 2,046 241 Updated Oct 20, 2025

patrickhener / goshs

A SimpleHTTPServer written in Go, enhanced with features and with a nice design - https://goshs.de

Go 540 39 Updated Sep 22, 2025