jules's starred repositories

stable-diffusion-webui

Stable Diffusion web UI

Language:PythonLicense:AGPL-3.0Stargazers:136512Issues:1052Issues:7547

plt

Programming Language Theory λΠ

bug.n

Tiling Window Manager for Windows

Language:AutoHotkeyLicense:GPL-3.0Stargazers:3341Issues:63Issues:267

nasm

A cross-platform x86 assembler with an Intel-like syntax

Language:AssemblyLicense:NOASSERTIONStargazers:2279Issues:61Issues:0

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

abapGit

Git client for ABAP

Language:ABAPLicense:MITStargazers:1500Issues:133Issues:2829

articles

Miscellaneous articles. The readme is the table of contents.

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language:HaskellLicense:Apache-2.0Stargazers:981Issues:27Issues:21

vim_ahk

Setting file to emulate vim with AutoHotkey

Language:AutoHotkeyLicense:MITStargazers:719Issues:29Issues:55

Spock

Another Haskell web framework for rapid development

category-theory-programmers

Category theory in the context of (functional) programming

snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

Language:HaskellLicense:BSD-3-ClauseStargazers:454Issues:21Issues:127

protolude

A sensible starting Prelude template.

Language:HaskellLicense:MITStargazers:400Issues:10Issues:76

Haskell-Morte-Library

A bare-bones calculus-of-constructions

Language:HaskellLicense:BSD-3-ClauseStargazers:372Issues:26Issues:47

python-lenses

A python lens library for manipulating deeply nested immutable structures

Language:PythonLicense:GPL-3.0Stargazers:301Issues:6Issues:32

type-theory-study-group

Resources for the online Type Theory Study Group

ABAP

ABAP Code sample

Language:ABAPStargazers:157Issues:39Issues:0

pcf

A small compiler for PCF

Language:HaskellLicense:MITStargazers:122Issues:5Issues:1

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Language:HaskellLicense:NOASSERTIONStargazers:121Issues:17Issues:35

ABAP-OOP-Library

ABAP Object-oriented programming Library

Language:ABAPLicense:MITStargazers:95Issues:34Issues:4
Language:HaskellLicense:WTFPLStargazers:72Issues:4Issues:9

ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

Language:HaskellLicense:BSD-3-ClauseStargazers:71Issues:10Issues:1

language-lua

Lua parser and pretty-printer

Language:LuaLicense:BSD-3-ClauseStargazers:51Issues:5Issues:28

PSBookmark

PowerShell Location bookmarks for easier and simple navigation

Language:PowerShellStargazers:18Issues:3Issues:0

imp

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

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

abap_scheme

ABAP Scheme

Language:ABAPLicense:MITStargazers:14Issues:2Issues:24

LTL

A DSL for Linear Temporal Logic + Interface with Z3 for solving

Language:ScalaStargazers:11Issues:2Issues:0

dhall-recursive-adt

Convert recursive ADTs between Dhall and Haskell

Language:HaskellLicense:CC0-1.0Stargazers:4Issues:4Issues:0