AlecsFerra/While-Proofs AlecsFerra/While-Proofs

  • Stars
    star
    1
  • Language Agda
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AlecsFerra/While-Proofs
github

AlecsFerra

Reviews

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

Repository Details

Proving some theorems about the While language in Agda

More Repositories

1

dot-config

Shell
6
star
2

HaskellParser

Parsing haskell in haskell from scratch
Haskell
5
star
3

rec

A denotational semantic based interpreter for the REC programming language
Haskell
4
star
4

RecStaticAnalyzer

An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
Haskell
3
star
5

linux-pasta

3
star
6

UniWEB-AutoQuestionario

JavaScript
2
star
7

TinyML

A random implementation of a subset of the ML language in F#
F#
1
star
8

Sequent-Executor

Automated LPc deriver that outpusts in LaTeX
Haskell
1
star
9

ThatLang

Implementation of a programming language
Rust
1
star
10

AoC-2021

Trying to be pointfree
Haskell
1
star
11

ultimoradie

Rust
1
star
12

ProtoAgda

A simple implementation of a dependently typed programming language with meta-variables.
Haskell
1
star
13

PolynomialFunctors

Data-types as fixpoints of polynomial functors
Agda
1
star
14

antichannelbot

Rust
1
star
15

AoC23

Haskell
1
star