AlecsFerra/RecStaticAnalyzer AlecsFerra/RecStaticAnalyzer

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    Other
  • Created over 1 year ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AlecsFerra/RecStaticAnalyzer
github

AlecsFerra

Reviews

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

Repository Details

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

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

linux-pasta

3
star
5

UniWEB-AutoQuestionario

JavaScript
2
star
6

TinyML

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

Sequent-Executor

Automated LPc deriver that outpusts in LaTeX
Haskell
1
star
8

ThatLang

Implementation of a programming language
Rust
1
star
9

While-Proofs

Proving some theorems about the While language in Agda
Agda
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