JonasHoefer/hackathon JonasHoefer/hackathon

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JonasHoefer/hackathon
github

JonasHoefer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

scoped-effects-agda

An implementation of scoped algebraic effects and handlers in Agda.
TeX
11
star
2

poset-type-theory

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Haskell
7
star
3

agda-strong-normalization

A proof of strong normalization for the simply typed lambda calculus in Agda (without the K axiom).
Agda
2
star
4

compile_time_differentiation

A small C++ library for differentiating expressions at compile time.
C++
2
star
5

brainfuck-compiler

Haskell
1
star
6

minisec

A small parser combinator library.
Haskell
1
star