antalsz/rust-embedded-discovery Fork of rust-embedded/discovery

Discovering the world of microcontrollers through Rust!

Language: Rust - Size: 8.34 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

antalsz/GlimpseOfLean Fork of PatrickMassot/GlimpseOfLean

Worked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)

Language: Lean - Size: 91.8 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

antalsz/hs-to-coq 📦

Convert Haskell source code to Coq source code

Language: Coq - Size: 11.8 MB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 280 - Forks: 26

antalsz/fourmolu.el Fork of vyorkin/ormolu.el

A configurable formatter for Haskell source code (based on vyorkin/ormolu.el)

Language: Emacs Lisp - Size: 25.4 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

antalsz/flambda-backend Fork of ocaml-flambda/flambda-backend

The Flambda backend project for OCaml

Language: OCaml - Size: 60 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

antalsz/ocamlformat Fork of janestreet/ocamlformat

Auto-formatter for OCaml code

Language: OCaml - Size: 9.1 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

antalsz/th-printf Fork of pikajude/th-printf

Compile-time checked printf

Size: 136 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

antalsz/ppxlib Fork of ocaml-ppx/ppxlib

Base library and tools for ppx rewriters

Size: 1.71 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

antalsz/urn-random

A Haskell package for updatable discrete distributions

Language: Coq - Size: 60.5 KB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 11 - Forks: 1

antalsz/coq-utils Fork of arthuraa/coq-utils

Some basic libraries for Coq.

Language: Coq - Size: 480 KB - Last synced: over 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

antalsz/zsh Fork of johan/zsh

A mirror of the zsh repository at http://zsh.sourceforge.net/Arc/git.html (you probably want to "git remote add vendor git://zsh.git.sf.net/gitroot/zsh/zsh" for pulling updates from the real vendor repository)

Language: C - Size: 11 MB - Last synced: over 1 year ago - Pushed: about 13 years ago - Stars: 0 - Forks: 0

antalsz/crawl Fork of crawl/crawl

Dungeon Crawl: Stone Soup fork for PRs

Size: 232 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

antalsz/draft

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

Language: TeX - Size: 628 KB - Last synced: over 1 year ago - Pushed: about 8 years ago - Stars: 6 - Forks: 2

antalsz/text-set

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

Language: Haskell - Size: 458 KB - Last synced: over 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

antalsz/ocaml-algebraic-effects

A semantics for our proposed design for algebraic effects for OCaml

Size: 15.6 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

antalsz/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Size: 41.2 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

antalsz/tree-dye

Random spanning tree “tie-dye”

Language: Haskell - Size: 1.55 MB - Last synced: over 1 year ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 1

antalsz/ocaml-jst Fork of ocaml-flambda/ocaml-jst

OCaml plus Jane Street extensions

Language: OCaml - Size: 205 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

antalsz/merlin Fork of ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

Language: OCaml - Size: 40 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

antalsz/ocaml Fork of lpw25/ocaml

My experiments with and extensions to OCaml

Size: 511 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

antalsz/quantum-halftoning

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

Language: Haskell - Size: 30.3 KB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 1

antalsz/magnus_archives_transcripts Fork of Snarp/magnus_archives_transcripts

Lazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.

Size: 2.3 MB - Last synced: over 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

antalsz/NetHack Fork of NetHack/NetHack

Official NetHack Git Repository

Language: C - Size: 92.9 MB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

antalsz/jfp-natbib-hack

A hack to make JFP's bibliography compatible with natbib

Language: TeX - Size: 1.95 KB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

antalsz/functional-shuffle

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

Language: Haskell - Size: 8.79 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

antalsz/coqc-expand-errors

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

Language: Haskell - Size: 334 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

antalsz/stack Fork of commercialhaskell/stack

The Haskell Tool Stack

Language: Haskell - Size: 13.7 MB - Last synced: over 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

antalsz/align-table

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

Language: Haskell - Size: 8.79 KB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

antalsz/folk-songs-for-todays-folks Fork of maiamcc/folk-songs-for-todays-folks

Lyrics for "Folk Songs For Today's Folks" (for Queer Contra Camp 2018)

Language: TeX - Size: 44.9 KB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

antalsz/universe Fork of dmwit/universe

Classes for types where we know all the values

Language: Haskell - Size: 70.3 KB - Last synced: over 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

antalsz/choose-your-own-derivative

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

Language: Haskell - Size: 40 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 18 - Forks: 0

antalsz/tardis Fork of DanBurton/tardis

Language: Haskell - Size: 131 KB - Last synced: over 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

antalsz/haskell-mode Fork of haskell/haskell-mode

Emacs mode for Haskell

Language: Emacs Lisp - Size: 3.19 MB - Last synced: over 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0