toxaris Goto Github PK

nomyx-rules

A collection of rules for the Nomyx game. See https://github.com/cdupont/Nomic

pandoc

Universal markup converter

pandoc-lit

Connecting pandoc to lhs2tex for literate programming.

papercraft-dungeon-generator

pl-impl

plt2011

Material for the course on Programming Languages and Types at University of Marburg

plt2012

pts

Interpreter for functional pure type systems.

racket-config

My DrRacket Configuration

rle-cache

rules_esbuild

Bazel rules for https://esbuild.github.io/ JS bundler

sbt-mode

An emacs mode for interacting with scala sbt and projects

scala-mode2

A new scala-mode for emacs24

session.hs

Session types in Haskell

stlc.scala

Modular implementation of simply-typed lambda calculi in Scala.

sublimity

[emacs] smooth-scrolling and minimap like sublime editor

sugarj

Library-based Language Extensibility

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

testing-is-mocking

time-series

Analyze time series to compute min and max values in rolling window.

toxaris

Config files for my GitHub profile.

ts_config_deps_repro

uroboro

An Implementation of a Language with Pattern and Copattern Matching

uroboro-mode

uroboro-transformations

variability-theory

variational

vscode-dev-containers

A repository of development container definitions for the VS Code Remote - Containers extension and GitHub Codespaces