pro465

pro465's Stars

• The-Powder-Toy/The-Powder-Toy

  Written in C++ and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.

  Language:C++4.7k130418795

• Chakazul/Lenia

  Lenia - Mathematical Life Forms

  Language:Python3.6k9115228

• sysprog21/shecc

  A self-hosting and educational C optimizing compiler

  Language:C1.2k2457128

• vekatze/neut

  A programming language with static memory management based on λ-calculus

  Language:Haskell994201713

• graydon/rust-prehistory

  historical archive of rust pre-publication development

  Language:C67412040

• kspalaiologos/malbolge-lisp

  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

  Language:TeX5017411

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell456116836

• newca12/awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  32313111

• tsoding/Noq

  Simple expression transformer that is not Coq.

  Language:Rust25671224

• woodrush/lambdalisp

  A Lisp interpreter written in untyped lambda calculus

  Language:Common Lisp2402311

• DolphyWind/Electra-Lang

  Electra is an esolang where you code like an electrician.

  Language:C++97221

• nachivpn/mt

  Master thesis on developing a static type checker for Erlang

  Language:Erlang274241

• razetime/bqn-vscode

  BQN programming language vscode plugin (symbol input, syntax highlighting)

  Language:Lua234236

• advancedresearch/advancedresearch.github.io

  The website for the AdvancedResearch community

  20743

• trillioneyes/idris-pong

  A browser Pong game, taking advantage of Idris's ability to compile to javascript.

  Language:Idris18512

• selaere/boil

  lambda calculus if it was messed up

  Language:Factor9101

• catseye/Cardboard-Prolog

  MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

  Language:Scheme830

• paul-caron/FM-radio

  FM radio modulation explained

  Language:HTML8201

• Mehran7kl/Mini-Projects

  Mini projects and my codepens reside here.

  Language:JavaScript6100

• augustss/ioccc1996

  Language:C5200

• Wonshtrum/PowerPointGenerator

  Language:Python5100

• pro465/rhokell

  rho calculus + haskell thrown into the mixer

  Language:Rust3102

• catseye/Version

  MIRROR of https://codeberg.org/catseye/Version : A language with control flow based on "ignorance spaces"

  Language:Perl2302

• dustin4242/dale

  Dustin's Awesome Line Editor!

  Language:Rust2

• dustin4242/winter

  My New Programming Language

  Language:Rust2

• emir4169/hueprism

  A 2D Art-based Esolang.

  Language:Python2100

• Peter919/Minimal-assembly-language

  A low-level esoteric programming language :)

  Language:C2

• user7230724/lean-projects

  Language:Lean2101

• dustin4242/daos

  Dustin's Awesome Operating System! (Kinda Sucks Rn But I'll Work On It At Some Point)

  Language:Rust1

• Tpaefawzen/dis.optimized

  Optimized interpreter for esoteric programming language Dis by Ben Olmstead

  Language:C10