Shamrock-Frost

Shamrock-Frost's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k641.9k418

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k262

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k2522682

• leanprover-community/mathlib3

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

  Language:Lean1.7k53362298

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.5k38408331

• bodil/eslint-config-cleanjs

  An eslint config which reduces JS to a pure functional language

  Language:JavaScript1.1k211733

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++92341856208

• herbie-fp/herbie

  Optimize floating-point expressions for accuracy

  Language:HTML7663312232

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket698343157

• uwdb/Cosette

  Cosette is an automated SQL solver.

  Language:Lean666437154

• racket/typed-racket

  Typed Racket

  Language:Racket52545636105

• mvr/at

  Effective Algebraic Topology in Haskell

  Language:Haskell85503

• jonsterling/forest

  My mathematical Zettelkasten, created using forester.

  Language:Shell77454

• saschagrunert/func

  Functional additions to C

  Language:C++571502

• acharal/hopes

  Higher Order Prolog with Extensional Semantics

  Language:Haskell50926

• skahack/cast-bandcamp

  Listen to Bandcamp music on your TV via Chromecast

  Language:JavaScript435165

• ramonfmir/lean-scheme

  Schemes in Lean (v2)

  Language:Lean42925

• hubris-lang/hubris

  A dependently typed programming language, and verification tool

  Language:Rust265313

• vmchale/libmeme

  A library for inserting clap emoji into strings

  Language:Haskell25501

• ImperialCollegeLondon/xena-UROP-2018

  A place to put our 2018 Xena project UROP thoughts and programs.

  Language:Lean2310125

• ncatlab/nlab-content-html

  A file-based mirror of the nLab wiki (HTML format).

  Language:HTML23105

• rwbarton/lean-homotopy-theory

  A development of homotopy theory in the Lean formal theorem prover.

  Language:Lean15306

• unstablehomotopy/TheWhiteheadTheorem

  Proving the Whitehead theorem and two variations for Mathlib's homotopy groups.

  Language:Python5

• Forrest-T/MyUW-Calendar

  Automatically generate an iCal file from MyUW in Google Chrome

  Language:JavaScript4120

• saoicourts/Algebra

  Notes and whatnot from my studies

  Language:TeX3201

• dzackgarza/MakeMeAQual_UGA

  An adaptation of Jonathan Love's "Make Me a Qual" tool for the University of Georgia qualifying exams.

  Language:TeX2200

• IronRiders/PowerUp

  The Roosevelt Iron Riders' (Team 4180) Iterative Java program for the 2018 FIRST Robotics Competition

  Language:Java21611

• AJMansfield/Intelligence-Core-Public

  AJMansfield's published stores and public drafts.

  1502

• gowthamk/acidifier

  Acidifier

  Language:OCaml1301

• ranweiler/uw-math-504

  Language:TeX1100