Skip to content
View Vtec234's full-sized avatar
108 followers · 8 following

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf

Block or report Vtec234

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

3 stars written in Common Lisp
Clear filter

lem-project / lem

General-purpose editor/IDE with high expansibility in Common Lisp

Common Lisp 2,830 234 Updated Dec 20, 2025

hraban / mac-app-util

Fix .app programs installed by Nix on Mac

Common Lisp 392 19 Updated Aug 24, 2025

susam / mathb

Mathematics pastebin software that powered MathB.in from 2012 to 2025

Common Lisp 374 28 Updated Mar 16, 2025