felko

Pinned Repositories

anf-fsub
Soundness proof for System F_<: in ANF form
Language:Coq1 1 01
bfpy
Python to Brainfuck transpiler
Language:Python48 5 16
cc-deconstructed
Mechanized soundness and bisimulation proofs for variants of the capture calculus
Language:Lean1 1 00
ccsubbox
Soundness proof for System CC_<:□
Language:Coq3 1 02
lamb
Small compiler for a strict functional language to teach myself Rust and compilation
Language:Rust7 2 01
linear-algebra
Linear algebra formalization in Agda
Language:Agda13 2 00
neuron-mode
An emacs mode for editing Zettelkasten notes with neuron
Language:Emacs Lisp119 14 5821
sluggo
Smart shell that can handle mutliple REPLs
Language:Python13 2 00
snowflake
An imperative, statically-typed toy language
Language:Haskell12 3 01
ton-lang
A visual programming language, evaluated as a cellular automaton
Language:Python62 2 01

felko's Repositories

felko/neuron-mode
An emacs mode for editing Zettelkasten notes with neuron
Language:Emacs Lisp119 14 5821
felko/ton-lang
A visual programming language, evaluated as a cellular automaton
Language:Python62 2 01
felko/bfpy
Python to Brainfuck transpiler
Language:Python48 5 16
felko/linear-algebra
Linear algebra formalization in Agda
Language:Agda13 2 00
felko/sluggo
Smart shell that can handle mutliple REPLs
Language:Python13 2 00
felko/snowflake
An imperative, statically-typed toy language
Language:Haskell12 3 01
felko/lamb
Small compiler for a strict functional language to teach myself Rust and compilation
Language:Rust7 2 01
felko/vide
A proof of concept for a nix-powered IDE assembled from individual components
Language:Nix5 1 1
felko/fruit
A 2D application/game engine based on PyGame
Language:Python4 2 00
felko/ccsubbox
Soundness proof for System CC_<:□
Language:Coq3 1 02
felko/modulable
A lightweight library for writing modular code
Language:Python2 2 0
felko/anf-fsub
Soundness proof for System F_<: in ANF form
Language:Coq1 1 01
felko/cc-deconstructed
Mechanized soundness and bisimulation proofs for variants of the capture calculus
Language:Lean1 1 00
felko/neuron
Haskell meets Zettelkasten, for your plain-text delight.
Language:Haskell1 1 0
felko/Theria
A Pokémon-like game
Language:Python1 3 0
felko/Trinity
2D sandbox game
Language:Python1 2 0
felko/atl
Arrow Transformer Library
Language:Haskell2 0
felko/blob
A functional programming language using a linear type system
Language:Haskell3 0
felko/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0
felko/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp1 0
felko/PyAcid
Python implementation of the Acid language
2 0
felko/pygcurse
Curses library emulation for Python & Pygame
Language:Python2 0
felko/Pythoria
Pythoria est un projet de jeu de rôle sous console.
Language:Python2 0
felko/rock
Build system
Language:Haskell1 0
felko/SpaceInvader
Space Invader in Python using PyGame
Language:Python2 0
felko/TerrainGenerator2D
Generates a 2D array representing a simple terrain
Language:Python2 0