cmcmA20

cmcmA20's Stars

• rswier/c4

  C in four functions

  Language:C9.9k328331.4k

• bol-van/zapret

  DPI bypass multi platform

  Language:C9.7k147600717

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k263.8k157

• llvm/circt

  Circuit IR Compilers and Tools

  Language:C++1.7k2592.2k308

• genodelabs/genode

  Genode OS Framework

  Language:C++1.1k835.2k256

• AlgebraicJulia/Catlab.jl

  A framework for applied category theory in the Julia language

  Language:Julia6232037057

• cedille/cedille

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

  Language:Agda3692411927

• JuliaSymbolics/Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Language:Julia3661312645

• hannesm/jackline

  minimalistic secure XMPP client in OCaml

  Language:OCaml2502415020

• akissinger/chyp

  An interactive theorem prover for string diagrams

  Language:Python109625

• sayo-hs/heftia

  higher-order algebraic effects done right for Haskell

  Language:Haskell832173

• Lapin0t/grothendieck-cern

  Alexander Grothendieck's 1972 talk at CERN, on scientific research

  57404

• felixwellen/synthetic-zariski

  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

  Language:TeX5524306

• DimaSamoz/agda-soas

  Agda formalisation of second-order abstract syntax

  Language:Agda531015

• jespercockx/agda-core

  A work-in-progress core language for Agda, in Agda

  Language:Agda426143

• AndrasKovacs/antifunext

  antifunext

  Language:Agda28212

• HuStmpHrrr/mech-type-theories

  Mechanizations of Type Theories

  Language:Agda28121

• ecavallo/equivariant-cartesian

  formalization of an equivariant cartesian cubical set model of type theory

  Language:Agda20500

• adrieng/pulsar

  Experimental functional language

  Language:OCaml18700

• ayberkt/simplc

  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.

  Language:Agda16300

• danelahman/Directed-Containers

  An Agda formalisation of the theory of directed containers

  11201

• szumixie/stlc

  Simply-typed lambda calculus as a QIT in cubical Agda + normalization

  Language:Agda11100

• Educorreia932/Chique

  🐥 Code formatter for Agda

  Language:Haskell9110

• madman-bob/Homestuck-POV-Cam

  Language:JavaScript8392

• stefan-hoeck/idris2-epoll

  epoll bindings in Idris2

  Language:Idris320

• stefaniatadama/TYPES-23

  A formalisation of generalised containers in Cubical Agda

  Language:Agda3100

• alexarice/catt-strict

  Language:Rust2201

• cardano-scaling/hydra-formal-specification

  Language:TeX2310

• georgejkaye/thesis

  My thesis, 'A compositional theory of digital circuits'

  Language:TeX2100

• eric-pierce/Coreboot-W530

  BIOS and Binary Blobs for the Lenovo W530 and my build of Coreboot for my personal W530.

  1201