@felko
github

felko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    356
  • Global Rank 77,490 (Top 3 %)
  • Followers 104
  • Following 255
  • Registered about 10 years ago
  • Most used languages
    Python
         41.2 %
    Haskell
         11.8 %
    Coq     11.8 %
    Lean     5.9 %
    C
         5.9 %
    Nix
         5.9 %
    Agda     5.9 %
    Rust
         5.9 %
    Emacs Lisp
         5.9 %

Top repositories

1

neuron-mode

An emacs mode for editing Zettelkasten notes with neuron
Emacs Lisp
118
star
2

ton-lang

A visual programming language, evaluated as a cellular automaton
Python
62
star
3

pion

Haskell
58
star
4

bfpy

Python to Brainfuck transpiler
Python
48
star
5

linear-algebra

Linear algebra formalization in Agda
Agda
16
star
6

sluggo

Smart shell that can handle mutliple REPLs
Python
13
star
7

snowflake

An imperative, statically-typed toy language
Haskell
12
star
8

lamb

Small compiler for a strict functional language to teach myself Rust and compilation
Rust
7
star
9

vide

A proof of concept for a nix-powered IDE assembled from individual components
Nix
5
star
10

fruit

A 2D application/game engine based on PyGame
Python
4
star
11

ccsubbox

Soundness proof for System CC_<:โ–ก
Coq
3
star
12

taxo

Universal command-line tagging utility
C
3
star
13

modulable

A lightweight library for writing modular code
Python
2
star
14

anf-fsub

Soundness proof for System F_<: in ANF form
Coq
1
star
15

Trinity

2D sandbox game
Python
1
star
16

Theria

A Pokรฉmon-like game
Python
1
star
17

cc-deconstructed

Mechanized soundness and bisimulation proofs for variants of the capture calculus
Lean
1
star