badly-drawn-wizards

badly-drawn-wizards's Stars

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1192.3k645

• UniMath/UniMath

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

  Language:Coq96957526172

• egraphs-good/egglog

  egraphs + datalog!

  Language:Rust4771516955

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean354204031

• vlaci/nix-doom-emacs

  doom-emacs packaged for Nix

  Language:Nix2346086

• enoki-inc/aither

  Collaborate with friends in real-time on an AI-enabled desktop in the browser

  Language:CSS2191113

• sleemer/docker.dotnet.debug

  This is a sample that demonstrates how to debug dotnet core 2.0 console running in docker from vscode

  Language:Shell734414

• gallais/generic-syntax

  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

  Language:Agda716211

• tydeu/lean4-alloy

  Write C shims from within Lean code.

  Language:Lean514315

• dwrensha/lean4-maze

  maze game encoded in Lean 4 syntax

  Language:Lean50224

• figsoda/ekalf

  The correct way to use Nix flakes

  Language:Nix3331

• aciceri/rock5b-nixos

  Opinionated NixOS modules and building infrastructure for Radxa Rock5B

  Language:Nix30614

• rwbarton/advent-of-lean-4

  Advent of Code 2020 solutions in Lean 4

  Language:Lean26200

• badly-drawn-wizards/vangogh_oc_fix

  A linux kernel module to override AMD Van Gogh APU PowerPlay limits for CPU

  Language:C233115

• jgowans/stm32f0_devel

  Holds minimalist examples for the most commonly used peripherals on UCT's STM32F0 dev board

  Language:C196015

• bollu/propogators-coq

  A formalisation of propogators as ekmett speaks about them on the livestream: https://www.twitch.tv/ekmett

  Language:Coq120