ahmadsalim/well-typed-agda-interpreter ahmadsalim/well-typed-agda-interpreter

  • Stars
    star
    11
  • Rank 1,685,749 (Top 34 %)
  • Language Agda
  • License
    MIT License
  • Created almost 11 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ahmadsalim/well-typed-agda-interpreter
github

ahmadsalim

Reviews

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

Repository Details

A well typed interpreter for the simply-typed lambda calculus written in Agda

More Repositories

1

desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
Idris
11
star
2

numpyro_stein

Python
6
star
3

qsort-inline

Apple's qsort implementation with support for inlined comparison (by macros)
C++
4
star
4

fflat-mdsliterals

Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)
F#
4
star
5

2019-meetup-pyro-intro

Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019
Jupyter Notebook
3
star
6

fflat

The Fb programming language
F#
2
star
7

agda-moddom

Modular Domains in Agda
Agda
2
star
8

MSc-Thesis

MSc Thesis on practical levitation
TeX
2
star
9

jax-dy

Python
1
star
10

micro-dsl-properties

Micro DSLs and properties
Haskell
1
star
11

haskell-transformations

Haskell
1
star
12

Tools-and-tactics-for-Idris---report

Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction
TeX
1
star
13

agda-tron

An Agda implementation of TRON semantics
Agda
1
star
14

parseltongue

A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)
Haskell
1
star
15

Rascal-Light

Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light
Scala
1
star