astahfrom Goto Github PK

.emacs.d

Emacs configuration

abt

Ocaml port of CMU's ABT library (with various modifications).

agda

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

algfinder

Graphical Rubik's Cube algorithm finder in Rust

array_list

Simple generic dynamic arrays in C using macros and function pointers

astahfrom.github.io

bule

On-going attempt at specifying a correct-by-construction AST in Haskell

cartouches

Parses Isabelle LaTeX output into manageable snippets.

clj-snake

A simple Snake-game in Clojure, with AI

converter

A unit converter implemented in Clojure

fbmarkdown

Chrome extension that adds Markdown syntax to Facebook

htmlbib

Create an HTML list of publlications from a BibTeX file

hybrid_termination

Unfinished work on proving termination for a hybrid logic tableau system

isasnips

Generate LaTeX snippets for Isabelle theories.

kindlepaper

Convert danish newspapers Information and Politiken from Android to Kindle

kioo

Enlive/Enfocus style templating for Facebook's React and Om in ClojureScript.

mandelbrot

Animation of the Mandelbrot fractal using AVX and OpenMP

minerunner

A simple game in Haskell and Gloss

natlang

Toying with a language for natural numbers in Haskell

nixpkgs

Nix Packages collection

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

piecetable

Piece Table in Rust for efficient sequential insertion and removal (unmaintained)

prettiest

A Pretty but not Greedy Printer in OCaml

primekincpp

Simple implementation of Sieve of Atkin with OpenMP

purescript-book

Sources for the PureScript book

realtime_dynamic_int_heap

Simple dynamic heap for storing ints with guaranteed constant time operations

realtime_dynamic_int_stack

Dynamic random access int stack in C with guaranteed constant time operations

redditbot

Redditbot in Golang

simpro

SimPro (Simple Prover) - With a Formalization in Isabelle

snake

A JavaScript library for creating Snake clones.