Kraks/MyPLZoo Kraks/MyPLZoo

  • Stars
    star
    13
  • Rank 1,482,630 (Top 30 %)
  • Language
    Racket
  • Created almost 7 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kraks/MyPLZoo
github

Kraks

Reviews

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

Repository Details

Implementations of various toy programming languages

More Repositories

1

sai

Staged Abstract Interpreters
Scala
63
star
2

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Scala
35
star
3

2048.py

Text-based 2048 in Python.
Python
22
star
4

quantum-compiler

Quantum circuits compiler with staging and continuations
Scala
11
star
5

SAT.rkt

A simple SAT solver based on DPLL written in Racket.
Racket
8
star
6

verifyo

Experiments with writing relational verifier/synthesizer in miniKanren.
Scheme
5
star
7

2048.rkt

A text-based 2048 game in Racket.
Racket
5
star
8

lisp.js

A tiny lisp interpreter in JavaScript.
JavaScript
5
star
9

playground

my playground
Coq
3
star
10

Verify-Contracts-for-Dynamic-Lang

Racket
2
star
11

the-little-schemer

Scheme code from the book The Little Schemer.
Scheme
2
star
12

omega

A Scala Implementation of the Omega Test
Scala
2
star
13

RefuncAAM

Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)
TeX
2
star
14

dataflow-analysis

Racket Implementation of Data-flow Analyses
Racket
1
star
15

Leetcode

My {Racket, Python} solutions for Leetcode algorithm problems
Python
1
star
16

qdict

a simple network dictionary.
C++
1
star
17

abscomp

An Implementation of Abstract Compilation
Racket
1
star
18

ad

Racket
1
star
19

the-little-typer

Racket
1
star