JaredCorduan

JaredCorduan's Stars

• lukasz-madon/awesome-remote-job

  A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python

  33.9k1.1k663.8k

• ibraheemdev/modern-unix

  A collection of modern/faster/saner alternatives to common unix commands.

  30.9k39380781

• ratatui-org/ratatui

  Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

  Language:Rust9.4k32310286

• decrypto-org/blockchain-papers

  A curated list of academic blockchain-related papers

  2.5k18241557

• leanprover-community/mathlib

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

  Language:Lean1.7k52362297

• jtdaugherty/brick

  A declarative Unix terminal UI library written in Haskell

  Language:Haskell1.6k22277164

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k3364117

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq95857520175

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog64616860

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3567349

• zli117/EInk-Calendar

  Smart calendar with EInk display and Raspberry Pi

  Language:Python23616623

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda221914671

• VictorTaelin/Cedille-Core

  A minimal proof language.

  Language:JavaScript20320212

• OpShin/opshin

  A simple pythonic programming language for Smart Contracts on Cardano

  Language:Python140510827

• tromp/AIT

  Algorithmic Information Theory, using Binary Lambda Calculus

  Language:Haskell13412013

• effectfully-ou/sketches

  A Haskell blog

  Language:Haskell1231224

• NordicSemiconductor/zcbor

  Low footprint C/C++ CBOR library and Python tool providing code generation from CDDL descriptions.

  Language:C114129837

• NorfairKing/haskell-WAT

  A collection of Haskell's WATs

  89723

• well-typed/unfolder

  Repository with code snippets that accompany episodes of The Haskell Unfolder

  Language:Haskell781215

• digama0/lean4lean

  Lean 4 kernel / 'external checker' written in Lean 4

  Language:Lean72616

• vacuumlabs/cardano-hw-cli

  Cardano CLI tool for hardware wallets

  Language:TypeScript701411124

• staghuntrpg/agar

  This is the source code of Agar.io environment.

  Language:Python23516

• b-mehta/combinatorics

  Language:Lean21240

• Quantumplation/cardano-slurp

  Uses the cardano mini-protocols to receive every block and transaction, and save them to a configurable destination

  Language:Rust19200

• freeman42x/awesome-agda-programming

  Awesome Agda Programming

  15403

• berenoguz/Math

  Formalization of Mathematics using Type Theory of Agda Programming Language

  Language:Agda112130

• martinescardo/EffectfulForcing

  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.

  Language:Agda11200

• coot/vim-agda-integration

  Vim integration with Agda

  Language:Vim Script7201

• LinuxForHealth/HealthOS

  LinuxForHealth Core Services

  Language:Python76305

• corbinbs/letters-to-viola

  Letters to Viola

  Language:Standard ML2400