jules's starred repositories

ministg

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

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

abap_scheme

ABAP Scheme

Language:ABAPLicense:MITStargazers:14Issues:0Issues:0

nasm

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

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

stable-diffusion-webui

Stable Diffusion web UI

Language:PythonLicense:AGPL-3.0Stargazers:136510Issues:0Issues:0

dhall-recursive-adt

Convert recursive ADTs between Dhall and Haskell

Language:HaskellLicense:CC0-1.0Stargazers:4Issues:0Issues: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

LTL

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

Language:ScalaStargazers:11Issues:0Issues:0

python-lenses

A python lens library for manipulating deeply nested immutable structures

Language:PythonLicense:GPL-3.0Stargazers:301Issues:0Issues:0

LtuPatternFactory

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

Language:HaskellLicense:Apache-2.0Stargazers:981Issues:0Issues:0

vim_ahk

Setting file to emulate vim with AutoHotkey

Language:AutoHotkeyLicense:MITStargazers:719Issues:0Issues:0

bug.n

Tiling Window Manager for Windows

Language:AutoHotkeyLicense:GPL-3.0Stargazers:3341Issues:0Issues:0

PSBookmark

PowerShell Location bookmarks for easier and simple navigation

Language:PowerShellStargazers:18Issues:0Issues:0

category-theory-programmers

Category theory in the context of (functional) programming

License:MITStargazers:513Issues:0Issues:0

plt

Programming Language Theory λΠ

Language:CSSStargazers:5182Issues:0Issues:0

articles

Miscellaneous articles. The readme is the table of contents.

Language:HaskellStargazers:1243Issues:0Issues:0

ABAP

ABAP Code sample

Language:ABAPStargazers:157Issues:0Issues:0
Language:ABAPStargazers:147Issues:0Issues:0

abapGit

Git client for ABAP

Language:ABAPLicense:MITStargazers:1500Issues:0Issues:0

ABAP-OOP-Library

ABAP Object-oriented programming Library

Language:ABAPLicense:MITStargazers:95Issues:0Issues:0

language-lua

Lua parser and pretty-printer

Language:LuaLicense:BSD-3-ClauseStargazers:51Issues:0Issues:0

Haskell-Morte-Library

A bare-bones calculus-of-constructions

Language:HaskellLicense:BSD-3-ClauseStargazers:372Issues:0Issues:0
Language:HaskellStargazers:23Issues:0Issues:0

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:0Issues:0

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Language:HaskellLicense:NOASSERTIONStargazers:121Issues:0Issues:0

Spock

Another Haskell web framework for rapid development

Language:HaskellStargazers:679Issues:0Issues:0
Language:HaskellLicense:WTFPLStargazers:72Issues:0Issues:0

type-theory-study-group

Resources for the online Type Theory Study Group

Stargazers:161Issues:0Issues:0

pcf

A small compiler for PCF

Language:HaskellLicense:MITStargazers:122Issues:0Issues:0

learn-tt

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

Stargazers:2087Issues:0Issues:0

protolude

A sensible starting Prelude template.

Language:HaskellLicense:MITStargazers:400Issues:0Issues:0