yonatan-reicher

yonatan-reicher's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

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

• binhnguyennus/awesome-scalability

  The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

  58.1k1.9k06k

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust32.8k1864.5k2.4k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k101188395

• Immediate-Mode-UI/Nuklear

  A single-header ANSI C immediate mode cross-platform GUI library

  Language:C9.1k131406544

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.1k1132.6k289

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3k1450706

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k3236553

• purescript/documentation

  Documentation for the PureScript language, compiler, and tools.

  1k24134301

• skullchap/chadstr

  Chad Strings - The Chad way to handle strings in C.

  Language:C8245511

• sammycage/plutovg

  Tiny 2D vector graphics library in C

  Language:C323132831

• ludocode/pottery

  Pottery - A container and algorithm template library in C

  Language:C122926

• jwoudenberg/elm-pair

  An artificial pair-programmer that helps you write Elm

  Language:Rust1097230

• Ahnfelt/funk

  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching

  Language:JavaScript531132

• rcls/busy

  The BIGNUM BAKEOFF was a while ago, but people still ask about this from time to time.

  Language:C++29301

• omrzv/matam_tests_spring2022

  Tests for Matam course, Spring semester, 2022

  Language:C++24323

• trcwm/smallc_v1

  Source code for the original Small C compiler published in Dr. Dobbs journal.

  Language:C19405

• Cyanivde/StudyBuddy

  Language:Python31

• yonatan-reicher/proof-assistant

  Language:Rust10