felko
Follow
-
-
ton-lang Public
A visual programming language, evaluated as a cellular automaton
-
-
cc-deconstructed Public
Draft mechanized soundness proof for variants of the capture calculus
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 4, 2023 -
lamb Public
Small compiler for a strict functional language to teach myself Rust and compilation
-
neuron-mode Public
An emacs mode for editing Zettelkasten notes with neuron
-
-
rock Public
Forked from ollef/rockBuild system
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 14, 2020 -
neuron Public
Forked from srid/neuronHaskell meets Zettelkasten, for your plain-text delight.
-
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedApr 24, 2020 -
linear-algebra Public
Linear algebra formalization in Agda
-
blob Public
Forked from Mesabloo/nihilA functional programming language using a linear type system
Haskell GNU General Public License v3.0 UpdatedMay 11, 2019 -
snowflake Public
An imperative, statically-typed toy language
-
sluggo Public
Smart shell that can handle mutliple REPLs
-
atl Public
Forked from strake/atl.hsArrow Transformer Library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 19, 2016 -
modulable Public
A lightweight library for writing modular code
-
bfpy Public
Python to Brainfuck transpiler
-
PyAcid Public
Forked from Acid-ZdS/PyAcidPython implementation of the Acid language
UpdatedJun 23, 2016 -
fruit Public
A 2D application/game engine based on PyGame
-
-
-
-
Pythoria Public
Forked from dangillet/PythoriaPythoria est un projet de jeu de rôle sous console.
Python UpdatedJan 17, 2015 -
pygcurse Public
Forked from iman1000000/pygcurses60Curses library emulation for Python & Pygame
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 11, 2015 -
TerrainGenerator2D Public
Generates a 2D array representing a simple terrain
Python UpdatedDec 12, 2014