bjartem

bjartem's Stars

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python12923

• coq-community/awesome-coq

  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

  29718

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML22235

• tchajed/coq-tricks

  Tricks you wish the Coq manual told you

  Language:Coq48019

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.7k637

• mietek/sf

  Mirror of Software Foundations in PDF

  Language:HTML29357

• clarkerubber/irwin

  irwin - the protector of lichess from all chess players villainous

  Language:Python49742

• cpitclaudel/academic-poster-template

  An HTML+CSS template for making more accessible posters

  Language:Less7827

• plclub/hs-to-coq

  Convert Haskell source code to Coq source code.

  Language:Coq766

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp48385

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k216

• tech-srl/Nero

  Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"

  Language:Python18622

• kmill/lean4-raytracer

  A simple raytracer written in Lean 4

  Language:Lean1165

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k187

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++919140

• guibou/MineSweeper

  Haskell Reflex mine sweeper

  Language:Haskell2

• calccrypto/tar

  A simple tar implementation in C

  Language:C11135

• GaloisInc/simple-tar

  A very simple tar archive processing library

  Language:Haskell11

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle57193

• corkami/pocs

  Proof of Concepts (PE, PDF...)

  Language:Assembly1.4k197

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML92881

• polyml/polyml

  Poly/ML

  Language:Standard ML48043

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k313

• antalsz/hs-to-coq

  Convert Haskell source code to Coq source code

  Language:Coq27927

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml32744

• rems-project/lem

  Lem semantic definition language

  Language:OCaml12713

• maximedenes/coq-amd64

  Language:Coq215

• peikexin9/deepxplore

  DeepXplore code release

  Language:Python389145

• jwiegley/coq-haskell

  A library for formalizing Haskell types and functions in Coq

  Language:Coq16411

• hephaestus-pl/coqfj

  A mechanized proof of type safety for Featherweight Java using Coq

  Language:Coq151