JonasHoefer

JonasHoefer's Stars

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k357

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k89967210

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k23257316

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell619403235

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda45926243139

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda95609

• jespercockx/ataca

  A TACtic library for Agda

  Language:Agda481014

• FreeProving/free-compiler

  A Haskell to Coq compiler that represents effectful programs with the free monad

  Language:Haskell45121063

• AndrasKovacs/antifunext

  antifunext

  Language:Agda28211

• ecavallo/equivariant-cartesian

  formalization of an equivariant cartesian cubical set model of type theory

  Language:Agda19500

• tathougies/react.hs

  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/

  Language:Haskell14413

• AndrewLipscomb/ros-gitlab-ci-example

  An attempt at a minimal ROS workspace that can be built and tested using GitLab CI

  Language:CMake10201

• cau-placc/inversion-plugin

  Language:Haskell9412

• andreasabel/ObjTT

  Language:Haskell630

• maweki/ev3dev-prolog

  ev3dev-based API for Prolog using the readily available swi-Prolog

  Language:Prolog6212

• JLimperg/docker-agda-stdlib

  Docker image with Agda and agda-stdlib

  Language:Dockerfile5302

• devfix/pio

  Preprocessor I/O Library

  Language:C++1200

• jrosain/Homotopy-Finiteness

  A formalisation of the homotopy finiteness proof in Jonas Hoefer's prototype, and some applications.

  Language:Emacs Lisp1100

• leenahere/lyrics-analysis

  Language:Python1100