ramonfmir

ramonfmir's Stars

• apple/swift

  The Swift Programming Language

  Language:C++66.5k2.5k15.1k10.3k

• karpathy/nanoGPT

  The simplest, fastest repository for training/finetuning medium-sized GPTs.

  Language:Python36.5k3713155.7k

• ml-explore/mlx

  MLX: An array framework for Apple silicon

  Language:C++16.6k142522953

• apple/pkl

  A configuration as code language with rich validation and tooling.

  Language:Java10.1k55207270

• google-deepmind/alphageometry

  Language:Python4.1k52119461

• containers/bubblewrap

  Low-level unprivileged sandboxing tool used by Flatpak and similar projects

  Language:C3.9k54320238

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k645.5k346

• acados/acados

  Fast and embedded solvers for nonlinear optimal control

  Language:C78123315245

• apple/ml-aim

  This repository provides the code and model checkpoints of the research paper: Scalable Pre-training of Large Autoregressive Image Models

  Language:Python68518542

• jump-dev/MathOptInterface.jl

  A data structure for mathematical optimization problems

  Language:Julia3922464887

• coq-community/vscoq

  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

  Language:OCaml3331441368

• oxfordcontrol/Clarabel.rs

  Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

  Language:Rust318113926

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python15681425

• flyspeck/flyspeck

  The formal proof of the Kepler conjecture

  Language:OCaml148935

• CertiCoq/certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq137151324

• teorth/pfr

  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

  Language:Lean1306333

• kmill/lean4-raytracer

  A simple raytracer written in Lean 4

  Language:Lean121735

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean114114513

• dwrensha/compfiles

  Catalog Of Math Problems Formalized In Lean

  Language:Lean934316

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean5911126

• leanprover-community/leanprover-community.github.io

  Hosts the website for mathlib and other Lean community infrastructure.

  Language:CSS511237119

• 34j/best-of-lean4

  A list of awesome lean4 projects. Feel free to add your project.

  50434

• opencompl/ssa

  A minimal development of SSA theory

  Language:MLIR434675

• egraphs-good/eggcc

  Language:Rust4261378

• T-Brick/c0deine

  Reference compiler for c0

  Language:Lean28381

• marcusrossel/lean-egg

  A (WIP) equality saturation tactic for Lean based on egg.

  Language:Lean273211

• digama0/lean-sys

  Rust bindings for the Lean 4 proof assistant

  Language:Rust17225

• Some-random/theorem-proving-reasoning

  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

  Language:Lean16412

• jsm28/AperiodicMonotilesLean

  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  Language:Lean12300

• leanprover-community/mathlib4_docs

  71912