felko/vide

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Nix
License
Do What The F*ck ...
Created 11 months ago
Updated 9 months ago

felko/vide

felko

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

neuron-mode

An emacs mode for editing Zettelkasten notes with neuron

ton-lang

A visual programming language, evaluated as a cellular automaton

pion

bfpy

Python to Brainfuck transpiler

linear-algebra

Linear algebra formalization in Agda

sluggo

Smart shell that can handle mutliple REPLs

snowflake

An imperative, statically-typed toy language

lamb

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

fruit

A 2D application/game engine based on PyGame

ccsubbox

Soundness proof for System CC_<:□

taxo

Universal command-line tagging utility

modulable

A lightweight library for writing modular code

anf-fsub

Soundness proof for System F_<: in ANF form

Trinity

2D sandbox game

Theria

A Pokémon-like game

cc-deconstructed

Mechanized soundness and bisimulation proofs for variants of the capture calculus