UMR1352

UMR1352's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust96.3k1.5k54.1k12.5k

• microsoft/terminal

  The new Windows Terminal and the original Windows console host, all in the same place!

  Language:C++94.7k1.3k12.6k8.2k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python61.5k8831.1k5.7k

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust32.4k1814.4k2.4k

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML14.5k2864761k

• pretzelhammer/rust-blog

  Educational blog posts for Rust beginners

  Language:Rust7k18727375

• simplex-chat/simplex-chat

  SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

  Language:Haskell5.9k681.1k280

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.5k110509173

• build-trust/ockam

  Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.

  Language:Rust4.4k581.8k558

• munificent/hauberk

  A web-based roguelike written in Dart.

  Language:Dart2k9751201

• drh/lcc

  The lcc retargetable ANSI C compiler

  Language:C2k10534436

• jonhoo/left-right

  A lock-free, read-optimized, concurrency primitive.

  Language:Rust1.9k235295

• lloydmeta/frunk

  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

  Language:Rust1.2k177656

• Graviton-Code-Editor/Graviton-App

  🚀 A modern-looking Code Editor

  Language:TypeScript1.2k30136125

• adam-mcdaniel/dune

  A shell🐚 by the beach🏖️!

  Language:Rust74293918

• adam-mcdaniel/oakc

  A portable programming language with a compact intermediate representation

  Language:Rust723123521

• simplex-chat/simplexmq

  ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

  Language:Haskell451205655

• slovnicki/pLam

  An interpreter for learning and exploring pure λ-calculus

  Language:Haskell4479917

• adam-mcdaniel/free

  An esoteric programming language with an unusual compiler backend

  Language:Rust323936

• etaoins/arret

  Pure functional Lisp implemented in Rust

  Language:Rust206443

• matklad/crt

  Language:Rust116304

• TOETOE55/lens-rs

  lens implemented in rust

  Language:Rust1085107

• strtok/marwood

  An embeddable Scheme R7 Compiler & Runtime written in Rust

  Language:Rust103556

• mstksg/advent-of-code-2020

  🎅🌟❄️☃️🎄🎁

  Language:Haskell98918

• heralden/heckendorf

  Roguelike dungeon crawler game with fullstack Clojure

  Language:Clojure89703

• munificent/malison

  A little terminal emulation package for Dart.

  Language:Dart718310

• micutio/innit

  A roguelike game where you play a micro organism inside a larger organism!

  Language:Rust45533

• fdlk/advent-2019

  Advent of Code solutions in clojure

  Language:Clojure8101

• zabealbe/lego-builder

  Object manipulation and 6DoF pose estimation using ROS and PyTorch

  Language:Python7100

• matklad/my-desire

  Language:Rust6211