SulamYakov
Follow
Stars
Windows Subsystem for Linux (WSL) Guide. Use WSL develop to with Kubernetes and in the Cloud (Microsoft Azure, AWS, and Google Cloud).
Some tools I used for making Windows 11 look nice.
A simple web-based tool for Spriting and Pixel art.
A (WIP) equality saturation tactic for Lean based on egg.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…
An extremely fast Python package and project manager, written in Rust.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
FFT-based ocean-wave rendering, implemented in Godot
SKiDL is a module that extends Python with the ability to design electronic circuits.
An Open Source Machine Learning Framework for Everyone
A simple and easy-to-use immediate-mode gui library
Auto-active verification of floating-point programs.
An implementation of Fibonacci Anyons in Haskell
A massively parallel, high-level programming language
Image decoding for many popular formats for Simple Directmedia Layer.
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
dtrace for linux - kernel driver and userland tools
Code-along Examples for the 6502 Assembly Crash Course Video.
Qt-based Nintendo Entertaiment System emulator and NSF/NSF2/NSFe Music Player (Linux, FreeBSD, OpenBSD and Windows)
Mesen is a cross-platform (Windows & Linux) NES/Famicom emulator built in C++ and C#
Create your Professional/Educational resume using LaTeX
A class library for operations on finite fields (a.k.a. Galois fields) which I find useful in my line of work.
Public repository of source code for the Universal Pokemon Randomizer