oneofvalts

oneofvalts's Stars

• termux/termux-app

  Termux - a terminal emulator application for Android OS extendible by variety of packages.

  Language:Java37.8k1.3k2.7k4k

• medusajs/medusa

  The world's most flexible commerce platform.

  Language:TypeScript26.9k1722.5k2.8k

• ms-jpq/coq_nvim

  Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

  Language:Python3.6k1642897

• agda/agda

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

  Language:Haskell2.5k665.6k365

• org-roam/org-roam-ui

  A graphical frontend for exploring your org-roam Zettelkasten

  Language:TypeScript2k34221111

• LukeSmithxyz/emailwiz

  Script that installs/configures a Dovecot, Postfix, Spam Assassin, OpenDKIM Debian web server

  Language:Shell1.8k44272306

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.7k36428354

• xremap/xremap

  Key remapper for X11 and Wayland

  Language:Rust1.6k1924989

• openai/miniF2F

  Formal to Formal Mathematics Benchmark

  Language:Objective-C++3251154245

• Julian/lean.nvim

  Neovim support for the Lean theorem prover

  Language:Lua299718128

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean2661662108

• schnerring/hugo-theme-gruvbox

  A retro-looking Hugo theme inspired by gruvbox. The pastel colors are high contrast, easily distinguishable, pleasing to the eye, and feature light and dark color palettes.

  Language:HTML20446852

• GeoCoq/GeoCoq

  A formalization of geometry in Coq based on Tarski's axiom system

  Language:Coq187161426

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python175102230

• kmill/lean4-raytracer

  A simple raytracer written in Lean 4

  Language:Lean131735

• langx/langx

  We connect language learners worldwide. Practice and immerse yourself in different languages.

  Language:TypeScript89452828

• N-R-K/Iosvmata

  Custom Iosevka build somewhat mimicking PragmataPro

  Language:Python83115

• coq-community/hydra-battles

  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  Language:Coq6992512

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean6612127

• PatrickMassot/verbose-lean4

  Natural language tactics to teach mathematics using Lean 4

  Language:Lean544410

• leanprover-community/flt-regular

  Fermat's Last Theorem for regular primes

  Language:Lean5217883

• linusromer/curvatura

  A FontForge plug-in to harmonize or tunnify or add inflection points to the selected parts. This is the successor to the depreciated harmonize-tunnify-inflection.

  Language:Python33411

• asouther4/lean-social-choice

  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.

  Language:Lean22371

• kckennylau/local-langlands-abelian

  Formalization of Statement of Local Langlands Correspondence for Tori

  Language:Lean11500

• linusromer/bezierplot

  bezierplot is a Lua program that approximates function plots by cubic bézier splines (paths are output in TikZ)

  Language:Lua8421

• MPRI/M2-20-2

  Mathematical foundations of automata theory

  8501

• viralpoetry/Baby-step-giant-step

  Daniel Shanks' Baby step-Giant step implementation

  Language:C++8311

• j-loreaux/uc-dissertation-latex-class

  A LaTeX class for theses and dissertations submitted to the University of Cincinnati

  Language:TeX5202

• adomani/advents

  Advent of Code

  Language:Lean3300

• brunorochapaiva/masters-formalisation

  Formalisation of my Master's Thesis in Coq.

  Language:Coq2100