ilya-klyuchnikov/tree-sitter-refal ilya-klyuchnikov/tree-sitter-refal

  • Stars
    star
    1
  • Language
    C
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ilya-klyuchnikov/tree-sitter-refal
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

sanitizer

Python
2
star
16

sll-meta-racket

Metacomputation in Racket
Racket
2
star
17

metacomputation-book

2
star
18

distill

Haskell
2
star
19

flowchart-racket

Racket
2
star
20

spsc-lite-scala

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

epidrin

Idris
1
star
22

jimi

Idris
1
star
23

stardust

Standard ML
1
star
24

clojure-logic-examples

Clojure
1
star
25

program-analysis

Scala
1
star