8000 edrx (Eduardo Ochs) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View edrx's full-sized avatar
28 followers · 4 following

Achievements

Achievement: Galaxy BrainAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report edrx

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

Stars

Showing results

dwrensha / animate-lean-proofs

tool for turning Lean proofs into Blender animations

Lean 68 4 Updated Apr 29, 2025

APEXCalculus / APEXCalculusV4

APEX Calculus text, Version 4. Static; for updated files, see APEXCalculusV5.

TeX 33 17 Updated Feb 28, 2020

pkulchenko / PegDebug

Trace debugger for LPeg rules and captures.

Lua 45 5 Updated Sep 19, 2019

rwmjones / miniexpect

Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary

C 69 2 Updated Sep 20, 2022
0