dagit/mizar-parser

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created over 10 years ago
Updated over 10 years ago

dagit/mizar-parser

dagit

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell parser for Mizar

rust-prolog

Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html

happy-plus-alex

Template for quickly and easily combining happy and alex

nehe-tuts

OpenGL NeHe tutorials converted to Haskell

Cyclone-Language

My branch of the Cyclone programming language

language-fortran

Haskell parser and manipulation functions for Fortran code

freetype2

My personal branch of the freetype2 source code

annelid

Speedrun timer with autosplitter for fxpak/sd2snes

hs6502

Pure Haskell Emulator for the 6502 CPU

logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haray

Haskell-based ray tracer

zenc

GHC's Core name mangling (Z-Encoding)

dotfiles

My configuration files like ~/.zshrc, ~/.vimrc, etc.

1GAM

My public attempts at the one game a month challenge

physics

Physics engine in Haskell

rust-monads

Just a playground for me to try out different monad related things in Rust

edit-patterns

dagit.github.io

my github pages

helisp

7drl2017

agda

Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.

streamgraph

Create nice stream graphs from a set of data points.

snippet-extractor

Extract labeled snippets of code and puts them in separate files.

lin-alg

Haskell library for low-dimensional linear algebra, especially graphics and physics numeric calculations

boab

boab, obstensibly a b-tree, is a Haskell B+ tree implementation.

missing-foreign

Convenience functions for FFI work in Haskell

paragraphids

A small utility to give named ids to paragraph tags in html files

rust-2d-demo

autoproc

Autoproc is a utility/language for email filtering. Autoproc makes it easy to define filtering rules. The rules define a Haskell program, that when executed generates a valid Procmail recipes file. This file can then be used with Procmail to sort and filter your email before you see it.

roguelike-old

Some code I once wrote to generate 2d maps for a roguelike. All in C++.

grid2-als

Extensions to CAS to enable Account Linking Service

matrix-marks

Micro benchmarks for matrix and vector computations.

cabal-quirk

buggy cabal file

mm2tracker

Mega man 2 randomizer tracker

proctor

A simple proof of concept HTTP proxy

PurePong

PureScript pong implementation

linebreak-text

Simple functions to break a Text to fit a maximum text width, using Knuth-Liang hyphenation algorhitm. Based on the linebreak package by Francesco Ariis.

HTML5CanvasExamples

Examples from the book 'Core HMTL5 Canvas' by David Geary

ztee

Implementation of tee that produces compressed file output.

emu-test

timing different ways to implement a cycle accurate emulator

goofgenie

A game genie-like tool for SNES that uses the usb2snes protocol to edit memory