Pinned Repositories
agda-software-foundations
Porting of software foundations book to Agda
blockly-p5js
LambdaScriptor
A Haskell-based interactive fiction engine
Lexicon-Morganianum-Parser
An attempt to parse a difficultly formatted Neolatin lexicon with pyparsing
nerdbar.widget
Übersicht system information bar for use with kwm window manager.
scriptor
A Python-based interactive fiction development language
zlindenbaum's Repositories
zlindenbaum/scriptor
A Python-based interactive fiction development language
zlindenbaum/blockly-p5js
zlindenbaum/LambdaScriptor
A Haskell-based interactive fiction engine
zlindenbaum/Lexicon-Morganianum-Parser
An attempt to parse a difficultly formatted Neolatin lexicon with pyparsing
zlindenbaum/nerdbar.widget
Übersicht system information bar for use with kwm window manager.
zlindenbaum/agda-software-foundations
Porting of software foundations book to Agda
zlindenbaum/Better-Politics-Mod-Vic-3
A mod for the strategy game Victoria 3 that expands political mechanics, introducing more interest groups and interest group splits.
zlindenbaum/Box2D-P5js
a binding of Box2D to the p5js javascript library
zlindenbaum/ChangeMyView-Project
zlindenbaum/dear-imgui-reflex
See README for more info
zlindenbaum/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
zlindenbaum/FigmaToCode
Generate responsive pages and apps on HTML, Tailwind, Flutter and SwiftUI.
zlindenbaum/generic-deriving-1.13.1
zlindenbaum/gf-core
Grammatical Framework core: compiler, shell & runtimes
zlindenbaum/ginger
A Haskell implementation of the Jinja template language.
zlindenbaum/holmes
A reference library for constraint-solving with propagators and CDCL.
zlindenbaum/lexiconMorganum
zlindenbaum/mediawiki-extensions-BibManager
Github mirror of MediaWiki extension BibManager - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
zlindenbaum/mermaid-hs
zlindenbaum/neuron.vim
📝 Manage your Zettelkasten in {n}vim.
zlindenbaum/numhask
Classes for numbers, higher-dimension representable objects, and algebras that combine them.
zlindenbaum/nvim-lspconfig
Quickstart configs for Nvim LSP
zlindenbaum/scratch-blocks
Scratch Blocks is a library for building creative computing interfaces.
zlindenbaum/scratch-gui
Graphical User Interface for creating and running Scratch 3.0 projects.
zlindenbaum/scratch-vm
Virtual Machine used to represent, run, and maintain the state of programs for Scratch 3.0
zlindenbaum/site
zlindenbaum/Stylesheets
TEI XSL Stylesheets
zlindenbaum/unfetter-mediawiki-vagrant
A virtual MediaWiki development environment, built on Vagrant, VirtualBox, and Puppet.
zlindenbaum/universe
Classes for types where we know all the values
zlindenbaum/vim-haskellConcealPlus
Extended Haskell Conceal feature for Vim