thealmarty

thealmarty's Stars

• facebook/rocksdb

  A library that provides an embeddable, persistent key-value store for fast storage.

  Language:C++28.4k9983.2k6.3k

• enso-org/enso

  Hybrid visual and textual functional programming.

  Language:Scala7.3k886.4k323

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.3k80434460

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.7k1282.6k442

• mre/idiomatic-rust

  🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

  Language:Rust6.5k15724195

• TheAlgorithms/Algorithms-Explanation

  Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.

  3k8132742

• near/nearcore

  Reference client for NEAR Protocol

  Language:Rust2.3k803.9k618

• jtdaugherty/brick

  A declarative Unix terminal UI library written in Haskell

  Language:Haskell1.6k22277165

• input-output-hk/plutus

  The Plutus language implementation and tools

  Language:Haskell1.5k109948454

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.2k61588191

• vekatze/neut

  A dependently-typed programming language with static memory management

  Language:Haskell839201310

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML8073415566

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq70852409147

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java6901325333

• prathyvsh/category-theory-resources

  Resources for learning Category Theory for an enthusiast

  59929433

• anoma/juvix

  A language for intent-centric and declarative decentralised applications

  Language:Haskell4502480154

• c0dearm/mushin

  Computational graphs with reverse automatic differentation in the GPU

  Language:Rust3881079

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda35725328

• cosmos/cosmos-rust

  The home of all shared Rust resources for the Cosmos ecosystem.

  Language:Rust3083276122

• input-output-hk/plutus-apps

  The Plutus application platform

  Language:Haskell30440292216

• mit-plv/bedrock2

  A work-in-progress language and compiler for verified low-level programming

  Language:Coq2921510343

• lexi-lambda/freer-simple

  A friendly effect system for Haskell

  Language:Haskell227142819

• mit-plv/fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  Language:Coq14791031

• LPTK/simple-sub

  Alternative algorithm for algebraic subtyping.

  Language:Scala144937

• CortexFoundation/CortexTheseus

  Cortex - AI on Blockchain, Official Golang implementation

  Language:Go123158747

• nomic-io/orga

  State machine engine

  Language:Rust11797015

• kowainik/validation-selective

  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

  Language:Haskell6673611

• mit-plv/bedrock

  Coq library for verified low-level programming

  Language:Coq571006

• metastatedev/smarter-contracts

  Application-layer smart contracts & tooling.

  10912

• rmarcacini/websensors-iexec

  Language:Python2100