adri326

adri326's Stars

• TodePond/DreamBerd

  perfect programming language

  11.7k49374368

• JannisX11/blockbench

  Blockbench - A low poly 3D model editor

  Language:JavaScript3.5k452.4k296

• davidrmiller/biosim4

  Biological evolution simulator

  Language:C++3.2k9060461

• dendibakh/perf-ninja

  This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

  Language:C++2.7k11140238

• erikbern/git-of-theseus

  Analyze how a Git repo grows over time

  Language:Python2.6k265386

• pomsky-lang/pomsky

  A new, portable, regular expression language

  Language:Rust1.3k910219

• vrtbl/passerine

  A small extensible programming language designed for concise expression with little code.

  Language:Rust1.1k254038

• 17cupsofcoffee/tetra

  🎮 A simple 2D game framework written in Rust

  Language:Rust9401817563

• Gankra/cargo-mommy

  Mommy's here to support you when running cargo~

  Language:Rust77483451

• oscar-system/Oscar.jl

  A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

  Language:Julia375191k130

• kreativekorp/bitsnpicas

  Bits'N'Picas - Bitmap & Emoji Font Creation & Conversion Tools

  Language:Java343125623

• nikolaischunk/discord-phishing-links

  An actively maintained JSON & txt List containing 22'000+ malicious Domains which are used for phishing on Discord.

  3141047106

• DS-Homebrew/flashcard-archive

  An archive of all the firmwares for Nintendo DS flashcards

  Language:Roff279131520

• loony-bean/textplots-rs

  Terminal plotting library for Rust

  Language:Rust24272624

• xinitrc-dev/randomfox.ca

  Language:PHP9261118

• Collective-SB/ISAN

  A multilateration solution from the Collective, written in YOLOL, for use in Starbase.

  Language:JavaScript78152333

• Vitzual/Vectorio

  Source code for the early access Steam game, Vectorio!

  Language:C#767978

• gebner/hott3

  HoTT in Lean 3

  Language:Lean7512811

• timhutton/crochet-simulator

  Predicting the 3D shape from a crochet pattern.

  Language:HTML657011

• matklad/backtrace-on-stack-overflow

  Language:Rust38413

• mkhan45/RustScript2

  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

  Language:OCaml364282

• alexjbest/leaff

  Leaff is a diff tool for Lean environments

  Language:Lean15161

• hadronized/learn-luminance

  113149

• Martinz64/picrew-archiver

  Downloads all of the assets for a picrew, and optionally generates an html page for convenience

  Language:Python9103

• adri326/online-pixel-font-creator

  A tool for creating, editing and exporting pixel fonts within the browser.

  Language:JavaScript7100

• MageOfficial/MageAI-5D

  A 5D Chess AI utilizing 5d-chess-js

  Language:JavaScript71

• JADekker/LeanBourbaki

  Formalisation of N. Bourbaki, Topologie Générale in Lean4.

  Language:Lean5300

• NKID00/5DChessProtocolAnalysis

  Unofficial Online Match Protocol Analysis and Unofficial Online Match Server of 5D Chess With Multiverse Time Travel

  Language:Rust4110

• slipways-game/example-mods

  This repository houses example mods for Slipways, intended as learning tools and templates to start from.

  Language:Python4100

• LambdAurora/res_errare

  A horror game.

  Language:Java240