Jealrock

Jealrock's Stars

• tailuge/billiards

  billiards physics in the browser

  Language:TypeScript13031

• dcrawl/DragonDB

  A very basic DragonRuby C-Extension for SQLite3

  Language:C11

• justinmeiners/lc3-vm

  Write your own virtual machine for the LC-3 computer!

  Language:Makefile1.7k194

• nesbox/TIC-80

  TIC-80 is a fantasy computer for making, playing and sharing tiny games.

  Language:C5.1k494

• DragonRuby/lightstorm

  Minimalistic ahead-of-time Ruby compiler

  Language:C++702

• xenobrain/ruby_vectormath

  Language:Ruby213

• oeloeloel/forked

  Language:Ruby93

• DragonRuby/dragonruby-game-toolkit-contrib

  Parts of DragonRuby GameToolkit source released under MIT license.

  Language:Ruby22372

• pawurb/dbg-rb

  Minimal, Rust-inspired, puts debugging helper, adding file and line number info.

  Language:Ruby53

• bddicken/languages

  Compare languages

  Language:Shell1.5k310

• jdan/isomer

  Simple isometric graphics library for HTML5 canvas

  Language:JavaScript2.9k138

• jdan/98.css

  A design system for building faithful recreations of old UIs

  Language:CSS9.7k317

• JobPetrovcic/RegexEquivDFA

  A Lean 4 formalization project establishing equivalence between regular expressions and deterministic finite automata

  Language:Lean1

• diasurgical/devilutionX

  Diablo build for modern operating systems

  Language:C++8.2k804

• diasurgical/devilution

  Diablo devolved - magic behind the 1996 computer game

  Language:C++8.8k921

• ul-fmf/mlfmf-data

  Machine Learning for Mathematical Formalization

  Language:Python10

• JobPetrovcic/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell1

• scikit-learn-contrib/hdbscan

  A high performance implementation of HDBSCAN clustering.

  Language:Jupyter Notebook2.8k507

• koreader/koreader

  An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

  Language:Lua17.4k1.3k

• TutteInstitute/datamapplot

  Creating beautiful plots of data maps

  Language:Python80751

• mroman42/walters

  The collected works of R. F. C. Walters

  7

• phlex-ruby/morphlex

  Optimal DOM morphing, written in TypeScript.

  Language:JavaScript683

• erpuno/sample

  💧 SAMPLE: Ідіоматичний N2O/NITRO приклад для інтернів

  Language:Elixir71

• haml/haml

  HTML Abstraction Markup Language - A Markup Haiku

  Language:Ruby3.8k574

• ankane/torch.rb

  Deep learning for Ruby, powered by LibTorch

  Language:Ruby74232

• SheafificationOfG/Fibsonicci

  Source code for a video on computing Fibonacci numbers efficiently

  Language:C++899

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda22670

• ccz181078/Coq-BB5

  Language:Coq1606

• iho/automath-68

  Language:Rust11

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda460141