Discover @ilya-klyuchnikov Open Source projects

@ilya-klyuchnikov

ilya-klyuchnikov

Stars
568
Global Rank 51,713 (Top 2 %)
Followers 375
Following 25
Registered over 14 years ago
Most used languages

Scala
36.0 %

Haskell
24.0 %

Idris 8.0 %

Racket
8.0 %

Kotlin
4.0 %

Python
4.0 %

C
4.0 %

Rust
4.0 %

Standard ML 4.0 %

Clojure
4.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,493
Country Ranking

Scala
23

Standard ML 26

Racket
28

Idris 29

Haskell
36

Clojure
522

Rust
616

Kotlin
632

C
5,089

tapl-scala

Code from the book "Types and Programming Languages" in Scala

ttlite

A SuperCompiler for Martin-Löf's Type Theory

lambdapi

Dependently Typed Lambda Calculus in Haskell

sc-mini

SC Mini is a "minimal" positive supercompiler

henk

Pure Type Systems for Functional Programming

mrsc

A toolkit for building multi-result supercompilers

faba

Fast Bytecode Analysis

refal

hosc

Higher-Order Supercompiler

sll-meta-haskell

"Metacomputation and its Applications" implemented for SLL

minimetamix

minimetamix - a collection of simple and minimalistic items

hosc2

Higher-Level Supercompiler

epigram1

kanva-micro

sanitizer

sll-meta-racket

Metacomputation in Racket

metacomputation-book

distill

flowchart-racket

spsc-lite-scala

The main goal is to code SPSC in idiomatic Scala

epidrin

jimi

stardust

clojure-logic-examples

program-analysis

tree-sitter-refal