ilya-klyuchnikov/minimetamix ilya-klyuchnikov/minimetamix

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Scala
  • Created almost 11 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ilya-klyuchnikov/minimetamix
github

ilya-klyuchnikov

Reviews

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

Repository Details

minimetamix - a collection of simple and minimalistic items

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

hosc2

Higher-Level Supercompiler
Scala
4
star
12

epigram1

Haskell
3
star
13

kanva-micro

Kotlin
3
star
14

sanitizer

Python
2
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