Discover @annenkov Open Source projects

Danil Annenkov (@annenkov)

annenkov

Stars
74
Global Rank 258,484 (Top 9 %)
Followers 25
Following 4
Registered almost 12 years ago
Most used languages

Racket
22.2 %

Coq 22.2 %

Java
11.1 %

LigoLANG 11.1 %

Lean 11.1 %

Agda 11.1 %

Rust
11.1 %
Location 🇩🇰 Denmark
Country Total Rank 1,094
Country Ranking

Lean 1

LigoLANG 1

Racket
3

Agda 5

Coq 8

Rust
165

Java
424

two-level

Two-Level Type Theory

unmix

A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.

trace-monoids

Trace monoids in Cubical Agda

futhark-extract

Extracting Futhark code from the Coq proof assistant

stratego-sll

An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).

stlcnorm

Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques

concordium-marlowe

Marlowe interpreter and contract manager

LBS

Supplementary materials for the Language-based Security Lecture on Smart Contracts

sql-dsl