Skip to content
View kstaaar's full-sized avatar

Block or report kstaaar

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

jtdaugherty / text-markup

Text markup data structure

Haskell 4 Updated Sep 17, 2016

ceticamarco / datum

Collection of dynamic and generic data structures

C 36 Updated Jan 12, 2026

hypered / slab

A programmable markup language for generating HTML.

Haskell 65 2 Updated Jan 8, 2026

bgamari / mediawiki-parser

Haskell parsers for MediaWiki markup

Haskell 6 5 Updated Dec 22, 2023

haskell-github-trust / static-canvas

A tiny DSL for HTML5 Canvas

Haskell 34 6 Updated May 22, 2019

ajtulloch / dnngraph

A DSL for deep neural networks, supporting Caffe and Torch

Haskell 711 58 Updated Dec 7, 2015

HigherOrderCO / Kind

A modern proof language

Haskell 3,716 148 Updated Jan 22, 2025

steshaw / plt

Programming Language Theory λΠ

CSS 5,328 344 Updated Dec 2, 2024

agda / agda-stdlib

The Agda standard library

Agda 643 259 Updated Jan 5, 2026

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,778 394 Updated Jan 13, 2026