🇺🇦
Highlights
Lists (16)
Contributions
Projects I have contributed to.4 repositories
Forks
For forked projects.1 repository
Git-image
For Git-image projects.12 repositories
GitHub profiles
For cool GitHub profile README projects.1 repository
GNU
For GNU projects.7 repositories
Humor
For joke programs and joke projects.2 repositories
Linux setup A
For starred projects and forks related to my first Linux setup.19 repositories
Minecraft
For Minecraft and MineTest related projects.3 repositories
Operating Systems
For operating system projects.3 repositories
Privacy
For key privacy projects.5 repositories
Programming languages
For the programming languages I am aware of.11 repositories
Robotics
For robotics projects.2 repositories
Seanpm2001 top projects 2021
My most developed projects from 2021.19 repositories
The Seanpm2001 life archive
For projects related to the Seanpm2001 life archive project.16 repositories
Video Games
For general video game projects.13 repositories
Web browsers
For web browser projects.5 repositories
Starred repositories
A library of essential utilities for Koka that can be used across projects
A UI library in Koka that uses effects to provide a concise tree builder and efficiently compute layouts
Data structures and algorithms I like and need. Written in various languages for educational (and sometimes practical) purposes.
A place where vivid, elegant explanations flourish
A comprehensive Neovim plugin for OCaml development with intelligent sandbox detection, LSP integration, and comprehensive filetype support.
🪙💶🌐️ The official source repository for the website of the CH3-c-K project, an old, historical cryptocurrency project by @Seanpm2001
📀
🕹🕹️🎱🎮🌐️ The official source repository for the website of the Team8Collection video game project, an source alternative and recreation of the games by Storm8/TeamLava (such as Restaurant Story, Bak…
⌨️ The GEORGE programming language programming language IDE submodule for SNU Programming Tools (2D Mode)
📚️ A repository for showcasing my knowledge of the GEORGE programming language, and continuing to learn the language.