felko's repositories

neuron-mode

An emacs mode for editing Zettelkasten notes with neuron

Language:Emacs LispLicense:GPL-3.0Stargazers:117Issues:14Issues:58

ton-lang

A visual programming language, evaluated as a cellular automaton

Language:PythonStargazers:61Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:58Issues:7Issues:0

bfpy

Python to Brainfuck transpiler

Language:PythonLicense:MITStargazers:48Issues:5Issues:1

sluggo

Smart shell that can handle mutliple REPLs

Language:PythonLicense:MITStargazers:13Issues:2Issues:0

linear-algebra

Linear algebra formalization in Agda

Language:AgdaLicense:MITStargazers:12Issues:2Issues:0

snowflake

An imperative, statically-typed toy language

Language:HaskellLicense:BSD-3-ClauseStargazers:12Issues:3Issues:0

lamb

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

Language:RustStargazers:7Issues:2Issues:0

fruit

A 2D application/game engine based on PyGame

Language:PythonLicense:MITStargazers:4Issues:2Issues:0

vide

A proof of concept for a nix-powered IDE assembled from individual components

Language:NixLicense:WTFPLStargazers:4Issues:1Issues:1

ccsubbox

Soundness proof for System CC_<:□

Language:CoqStargazers:2Issues:1Issues:0

modulable

A lightweight library for writing modular code

Language:PythonLicense:MITStargazers:2Issues:2Issues:0

anf-fsub

Soundness proof for System F_<: in ANF form

Language:CoqStargazers:1Issues:1Issues:0

neuron

Haskell meets Zettelkasten, for your plain-text delight.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

Theria

A Pokémon-like game

Language:PythonLicense:MITStargazers:1Issues:3Issues:0

Trinity

2D sandbox game

Language:PythonStargazers:1Issues:2Issues:0

cc-deconstructed

Mechanized soundness and bisimulation proofs for variants of the capture calculus

Language:LeanStargazers:0Issues:1Issues:0

atl

Arrow Transformer Library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

blob

A functional programming language using a linear type system

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:3Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

PyAcid

Python implementation of the Acid language

Stargazers:0Issues:2Issues:0

pygcurse

Curses library emulation for Python & Pygame

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

Pythoria

Pythoria est un projet de jeu de rôle sous console.

Language:PythonStargazers:0Issues:2Issues:0

rock

Build system

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

SpaceInvader

Space Invader in Python using PyGame

Language:PythonStargazers:0Issues:2Issues:0

TerrainGenerator2D

Generates a 2D array representing a simple terrain

Language:PythonStargazers:0Issues:2Issues:0