julmue's Stars
AUTOMATIC1111/stable-diffusion-webui
Stable Diffusion web UI
steshaw/plt
Programming Language Theory λΠ
fuhsjr00/bug.n
Tiling Window Manager for Windows
netwide-assembler/nasm
A cross-platform x86 assembler with an Intel-like syntax
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
abapGit/abapGit
Git client for ABAP
quchen/articles
Miscellaneous articles. The readme is the table of contents.
thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
rcmdnk/vim_ahk
Setting file to emulate vim with AutoHotkey
agrafix/Spock
Another Haskell web framework for rapid development
jwbuurlage/category-theory-programmers
Category theory in the context of (functional) programming
snapframework/snap
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
protolude/protolude
A sensible starting Prelude template.
Gabriella439/Haskell-Morte-Library
A bare-bones calculus-of-constructions
ingolemo/python-lenses
A python lens library for manipulating deeply nested immutable structures
mauriciolauffer/ABAP
ABAP Code sample
type-theory/type-theory-study-group
Resources for the online Type Theory Study Group
moreus/ABAPDesignPattern
ekmett/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
jozefg/pcf
A small compiler for PCF
rvanmil/ABAP-OOP-Library
ABAP Object-oriented programming Library
bjpop/ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
fokot/howerpoint
osa1/language-lua
Lua parser and pretty-printer
shayan-najd/MiniFeldspar
rchaganti/PSBookmark
PowerShell Location bookmarks for easier and simple navigation
TikhonJelvis/imp
Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
nomssi/abap_scheme
ABAP Scheme
blkbsstt/LTL
A DSL for Linear Temporal Logic + Interface with Z3 for solving
amesgen/dhall-recursive-adt
Convert recursive ADTs between Dhall and Haskell