Ecosyste.ms: Awesome

https://github.com/antalsz/hs-to-coq

Convert Haskell source code to Coq source code

Last synced: 28 Oct 2024

https://github.com/antalsz/choose-your-own-derivative

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

Last synced: 24 Oct 2024

https://github.com/antalsz/urn-random

A Haskell package for updatable discrete distributions

Last synced: 24 Oct 2024

https://github.com/antalsz/draft

A LaTeX package for commands that exist only when a document is in draft mode

Last synced: 12 Dec 2024

https://github.com/antalsz/ocaml-algebraic-effects

A semantics for our proposed design for algebraic effects for OCaml

Last synced: 12 Dec 2024

https://github.com/antalsz/functional-shuffle

Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm

Last synced: 12 Dec 2024

https://github.com/antalsz/tree-dye

Random spanning tree “tie-dye”

art generative-art haskell haskell-application haskell-library random random-tree

Last synced: 12 Dec 2024

https://github.com/antalsz/coqc-expand-errors

Run `coqc` and print out colorized Coq error location information

coq coqc development

Last synced: 12 Dec 2024

https://github.com/antalsz/text-set

Use a DAFSA (aka a DAWG) to implement a set of strings

Last synced: 12 Dec 2024

https://github.com/antalsz/jfp-natbib-hack

A hack to make JFP's bibliography compatible with natbib

jfp latex latex-package natbib

Last synced: 12 Dec 2024

https://github.com/antalsz/quantum-halftoning

The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”

Last synced: 12 Dec 2024

https://github.com/antalsz/align-table

Aligns and pretty-prints unaligned or semi-aligned tabular plain text data

Last synced: 12 Dec 2024

https://github.com/antalsz/obsidian-noisy-editorsuggest

An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work

Last synced: 28 Nov 2024