victorcrrd

victorcrrd's Stars

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust53.8k32867110.1k

• sonic-pi-net/sonic-pi

  Code. Music. Live.

  Language:C++10.8k2971.9k922

• Nutlope/roomGPT

  Upload a photo of your room to generate your dream room with AI.

  Language:TypeScript10k71771.4k

• thangchung/go-coffeeshop

  ☕ A practical event-driven microservices demo built with Golang. Nomad, Consul Connect, Vault, and Terraform for deployment

  Language:Go4.1k4424420

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k792k232

• willcrichton/flowistry

  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

  Language:Rust1.9k157444

• fthomas/refined

  Refinement types for Scala

  Language:Scala1.7k24210158

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.2k2346770

• VictorTaelin/Interaction-Calculus

  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Language:Rust76640855

• 0xPolygonMiden/miden-vm

  STARK-based virtual machine

  Language:Rust62623497160

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust61171012

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala5402812344

• gwisk/gradguide

  A guide on STEM PhD admissions

  4279139

• devsisters/shardcake

  Sharding and location transparency for Scala

  Language:Scala394104330

• rntz/datafun

  Research on integrating datalog & lambda calculus via monotonicity types

  Language:TeX38743215

• eusonlito/Password-Manager

  Self-hosted Password Manager based on Laravel 10 + PHP 8 + MySQL 8. Gestor de Contraseñas basado en Laravel 10 + PHP 8 + MySQL 8.

  Language:PHP296124965

• fluidex/awesome-plonk

  A curated list of awesome things related to plonk proof system

  22611325

• jeanqasaur/dsl-syllabus-fall-2016

  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.

  2145011

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java1822429146

• 0xPolygonHermez/zkevm-rom

  This repo contains the zkasm source code of the zkEVM

  Language:JavaScript125101550

• Consensys/evm-dafny

  An EVM interpreter in Dafny

  Language:Dafny12543775

• ImperialCollegeLondon/formalising-mathematics-2022

  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean11913126

• OPLSS/introduction-to-algebraic-effects-and-handlers

  Introduction to algebraic effects and handlers

  Language:TeX921104

• tpolecat/typename

  Get the name of a type at compile-time. Amaze your friends!

  Language:Scala75505

• hermeznetwork/circuits

  Implements hermez network zk-Snarks circuits

  Language:JavaScript5652621

• vmware-labs/verified-betrfs

  A verified high-performance file system

  Language:Dafny3215210

• vil1/single_page_fp_book

  21211

• GiacomoPope/thesis-template

  The Latex files used to create my PhD Thesis

  Language:TeX15102

• icetlab/devopscourse

  Public Git mirror for the master-level DevOps course given every summer semester at Chalmers and the University of Gothenburg

  Language:Vue15102

• rucek/monad-transformers-scala3

  Step-by-step implementation of a monad transformer in Scala 3

  Language:Scala420