Kraks/diamond-lang Kraks/diamond-lang

  • Stars
    star
    38
  • Rank 703,524 (Top 14 %)
  • Language
    Scala
  • Created about 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kraks/diamond-lang
github

Kraks

Reviews

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

Repository Details

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

More Repositories

1

sai

Staged Abstract Interpreters
Scala
64
star
2

2048.py

Text-based 2048 in Python.
Python
22
star
3

MyPLZoo

Implementations of various toy programming languages
Racket
13
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

contract-for-contract

Solidity
4
star
10

playground

my playground
Coq
3
star
11

Verify-Contracts-for-Dynamic-Lang

Racket
2
star
12

the-little-schemer

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

omega

A Scala Implementation of the Omega Test
Scala
2
star
14

RefuncAAM

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

dataflow-analysis

Racket Implementation of Data-flow Analyses
Racket
1
star
16

Leetcode

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

qdict

a simple network dictionary.
C++
1
star
18

abscomp

An Implementation of Abstract Compilation
Racket
1
star
19

ad

Racket
1
star
20

the-little-typer

Racket
1
star