ilya-klyuchnikov/sanitizer ilya-klyuchnikov/sanitizer

  • Stars
    star
    2
  • Language
    Python
  • Created almost 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ilya-klyuchnikov/sanitizer
github

ilya-klyuchnikov

Reviews

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

Repository Details

More Repositories

1

tapl-scala

Code from the book "Types and Programming Languages" in Scala
Scala
175
star
2

ttlite

A SuperCompiler for Martin-LΓΆf's Type Theory
Scala
121
star
3

lambdapi

Dependently Typed Lambda Calculus in Haskell
Haskell
107
star
4

sc-mini

SC Mini is a "minimal" positive supercompiler
Haskell
42
star
5

henk

Pure Type Systems for Functional Programming
Haskell
32
star
6

mrsc

A toolkit for building multi-result supercompilers
Scala
31
star
7

faba

Fast Bytecode Analysis
Scala
15
star
8

refal

Rust
13
star
9

hosc

Higher-Order Supercompiler
Scala
7
star
10

sll-meta-haskell

"Metacomputation and its Applications" implemented for SLL
Haskell
6
star
11

minimetamix

minimetamix - a collection of simple and minimalistic items
Scala
6
star
12

hosc2

Higher-Level Supercompiler
Scala
4
star
13

epigram1

Haskell
3
star
14

kanva-micro

Kotlin
3
star
15

sll-meta-racket

Metacomputation in Racket
Racket
2
star
16

metacomputation-book

2
star
17

distill

Haskell
2
star
18

flowchart-racket

Racket
2
star
19

spsc-lite-scala

The main goal is to code SPSC in idiomatic Scala
Scala
2
star
20

epidrin

Idris
1
star
21

jimi

Idris
1
star
22

stardust

Standard ML
1
star
23

clojure-logic-examples

Clojure
1
star
24

program-analysis

Scala
1
star
25

tree-sitter-refal

C
1
star