aronerben

aronerben's Stars

• gorhill/uBlock

  uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

  Language:JavaScript48.9k9383.4k3.2k

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k672k440

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k121634360

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k2329878

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362297

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.7k36428354

• rgrinberg/opium

  Sinatra like web toolkit for OCaml

  Language:OCaml7662710867

• ocaml/opam-repository

  Main public package repository for opam, the source package manager of OCaml.

  523331.4k1.1k

• catabriga/graphwar

  Language:Java28010940

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean22196527

• ocsigen/tyxml

  Build valid HTML and SVG documents

  Language:OCaml1671913162

• teorth/pfr

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

  Language:Lean1417333

• RoganMurley/GALGAGAME

  GALGA: Multiplayer card game written in Haskell and Elm.

  Language:Elm135483

• leanprover/lean2

  Lean theorem prover version 0.2 (it supports standard and HoTT modes)

  Language:C++12116624

• jesse-michael-han/lean-gptf

  Interactive neural theorem proving in Lean

  Language:Lean118756

• madvorak/lean3-tactic-lean4

  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4

  25102

• Anderssorby/SDL.lean

  SDL2 bindings for lean

  Language:Lean21314

• uzh/z-pool-tool

  Pool Tool

  Language:OCaml15205

• joseferben/schablone

  An opinionated SaaS starter for Django

  Language:CSS14010

• Shamrock-Frost/BrouwerFixedPoint

  Language:Lean13312

• uzh/ask

  Create, Answer and Integrate Questionnaires in OCaml

  Language:OCaml13520

• joseferben/whywouldyoubot

  An MMO where players write their bots in TypeScript.

  Language:TypeScript11104

• uzh/guardian

  Role-based access control for OCaml

  Language:OCaml6461

• uzh/canary

  Canary is a tool for automatically reporting runtime exceptions to issue trackers in OCaml projects.

  Language:OCaml5501

• joseferben/fly-redis

  A redis setup for fly.io

  Language:Shell3100

• samueltobler/behavdata

  R Package with auxiliary functions to facilitate data pre-processing and analysis of behavioral data

  Language:R3100

• joseferben/dokku-default-site

  Just a static default site for Dokku to prevent crawlers from hitting my apps.

  Language:HTML110

• MattiaBottoni/Lean-meetings

  Here you will find the exercises we will solve in classe to download.

  Language:Lean110

• stephaniebernhard/memory

  Language:Kotlin1300