gattschardo

gattschardo's Stars

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.9k36711.5k2.5k

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17.7k1941.6k1.3k

• SFTtech/openage

  Free (as in freedom) open source clone of the Age of Empires II engine 🚀

  Language:Python12.8k4006911.1k

• vysheng/tg

  telegram-cli

  Language:C6.5k3041.5k1.5k

• manga-download/hakuneko

  Manga & Anime Downloader for Linux, Windows & MacOS

  Language:JavaScript4.7k765k468

• glium/glium

  Safe OpenGL wrapper for the Rust language.

  Language:Rust3.5k71811406

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k233

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k930243

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k78229170

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq71451411147

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq665452783

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65016862

• ThePrimeagen/ts-rust-zig-deez

  Language:Java6291018161

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C447284114

• cpitclaudel/monospacifier

  Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)

  Language:Python379102631

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3662411927

• Nanoseb/ncTelegram

  A ncurse Telegram client developed in Python

  Language:Python312174426

• sulix/omnispeak

  An open-source re-implementation of "Commander Keen in Goodbye Galaxy"

  Language:C296183336

• wilbowma/cur

  A less devious proof assistant

  Language:Racket2221810518

• edwinb/idris2-vim

  Vim mode for Idris 2

  Language:Vim Script759926

• nomeata/haskell-for-readers

  Lecture notes for teaching Haskell to those who want to read it

  Language:Haskell559911

• TheWizardTower/monadTransformers

  Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018

  Language:Haskell18201

• sprout-uci/vrased

  Language:Verilog17113

• jvoorhis/coq.vim

  Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

  Language:Vim Script15718

• PRL-PRG/TOPLAS19_Artifact

  Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality

  Language:TeX14915

• CakeML/candle

  The Candle theorem prover (fork of the HOL Light sources)

  Language:OCaml11102

• HOL-Theorem-Prover/hol-guidebook

  HOL Guidebook

  Language:CSS11727

• tounaishouta/coq.vim

  A simple Vim plugin for the Coq Proof Assistant

  Language:Vim script7204