kryptine's repositories
100_page_python_intro
:snake: Short, introductory guide for the Python programming language :green_book: :zap:
aspnetcore
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
babel
🐠 Babel is a compiler for writing next generation JavaScript.
cli_text_processing_rust
Command line text processing with Rust tools
dafny
Dafny is a verification-aware programming language
efcore
EF Core is a modern object-database mapper for .NET. It supports LINQ queries, change tracking, updates, and schema migrations.
euphoria
The Euphoria programming language (https://openeuphoria.org/)
learn_perl_oneliners
Example based guide for text processing with perl from the command line
learn_ruby_oneliners
Example based guide for text processing with ruby from the command line
lua
The Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Report issues in the Lua mailing list https://www.lua.org/lua-l.html
mm0
Metamath Zero specification language
o3de
Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations without any fees or commercial obligations.
osu
rhythm is just a *click* away!
osu-framework
A game framework written with osu! in mind.
pd-else
ELSE - EL Locus Solus' Externals for Pure Data
penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
pforth
Portable Forth in C
practice_python_projects
Book on basic to intermediate level Python projects
py_regular_expressions
Learn Python Regular Expressions step by step from beginner to advanced levels
roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
stride
Stride Game Engine (formerly Xenko)
swc
swc is a super-fast compiler written in rust; producing widely-supported javascript from modern standards and typescript.
youtube-dl
Command-line program to download videos from YouTube.com and other video sites
yt-dlp
A youtube-dl fork with additional features and fixes
z3
The Z3 Theorem Prover