Antal Spector-Zabusky (@antalsz)
github

antalsz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    328
  • Global Rank 82,821 (Top 3 %)
  • Followers 70
  • Following 4
  • Registered over 11 years ago
  • Most used languages
    Haskell
         60.0 %
    Coq     20.0 %
    TeX
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 20,076
  • Country Ranking
    Coq     7
    Haskell
         541
    TeX
         1,617

Top repositories

1

hs-to-coq

Convert Haskell source code to Coq source code
Coq
279
star
2

choose-your-own-derivative

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

urn-random

A Haskell package for updatable discrete distributions
Coq
11
star
4

draft

A LaTeX package for commands that exist only when a document is in draft mode
TeX
6
star
5

ocaml-algebraic-effects

A semantics for our proposed design for algebraic effects for OCaml
5
star
6

tree-dye

Random spanning tree “tie-dye”
Haskell
2
star
7

functional-shuffle

Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
Haskell
2
star
8

coqc-expand-errors

Run `coqc` and print out colorized Coq error location information
Haskell
1
star
9

quantum-halftoning

The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
Haskell
1
star
10

jfp-natbib-hack

A hack to make JFP's bibliography compatible with natbib
TeX
1
star
11

text-set

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