AlgebraicWolf

AlgebraicWolf's Stars

• anuraghazra/github-readme-stats

  :zap: Dynamically generated stats for your github readmes

  Language:JavaScript71k2821.3k23.6k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k641.2k380

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k231.7k100

• Axarva/dotfiles-2.0

  XMonad™️. Widgets go brr.

  Language:Shell1.8k17160155

• leanprover-community/mathlib3

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

  Language:Lean1.7k53362298

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell625403235

• flyingmutant/rapid

  Rapid is a modern Go property-based testing library

  Language:Go60886025

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX29527170

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean186147615

• thehottgame/TheHoTTGame

  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

  Language:Agda12561216

• statusfailed/catgrad

  a categorical deep learning compiler

  Language:Python114823

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq101122812

• edwinb/Yaffle

  A core language and API for dependently typed languages

  Language:Idris8913017

• fabiocarrara/visual-sentiment-analysis

  PyTorch port of models for Visual Sentiment Analysis pre-trained on the T4SA dataset.

  Language:Python41117

• buzden/deptycheck

  Facilities for generating dependently-typed data

  Language:Idris242517

• hephaestus-compiler-project/thalia

  A framework for testing compilers' type checkers

  Language:Python17001

• apselon/AlgorithmsAbstracts

  Language:TeX7301

• ROpdebee/ansible-scheme

  PoC Scheme evaluator in Ansible

  7101

• Aaaaanyaaaaaaa/seminars_fivt

  Language:Jupyter Notebook5204

• akudrinsky/cpp_exam_notes

  Notes for c++ exam

  Language:C++5503

• Shishqa/distributed-optimization

  Language:Python2101