emacs interface for darcs
A web interface for darcs
gitweb-like web interface for darcs repos, my updates
gitweb-like web interface for darcs repos, my updates
Data::FormValidator Perl module
set and multiset operations on ordered lists
Unify STRef and IORef in plain Haskell 98
Computation of candidate keys from functional dependencies
fork of http://darcsden.com/dixie/dawb with bootstrap css
Custom prelude.
Dawn's website
Database CRUD in Java
Fork to get dependencies up to date
Dragonball: North Star
Personal website
prueba
CGI interface for Darcs written in C
Dead simple JSON parser, with some Template Haskell sugar.
Debtstack is a tool for (re-)evaluating one's credit card debt
TCG decklist version control
Deep Thought donation box supervised by a Raspberry Pi
Dependable vars for clojure
pastbin
DemoGCM
darcs
Demo
DemoZ Haskell workshop
A Description Loader
codes for diffusiophoresis-enhanced Turing patterns
Documentation pages used by the website
CA1
Lexer for Dhall language
An extension of Dhall with implicit arguments
An experimental way to define operating systems in Dhall & Nix
A latex backend for the diagrams package
Basic key-value store
An implementation of the classic O(ND) diff algorithm
Image processing application and D playground
Tech related site
[Rust] Recursively copy a directory while preserving permissions
Parallel directory traversal in ATS
Eye-pleasing disk usage reporting utility.
Layer for distributed substituting MPTCs for Template Haskell
SQL Migrations system for distributed development
Haskell introduction slides
Djinn command-line interface
a LaTeX t1dm logbook in
See github.com/dbp/dnplayer
DNS stuff
Caching DNS library and mass resolver
Refactored examples from Doberkat's Haskell book
ocaml in docker
Run doctest's in a Cabal.Test.exitcode-stdio environment
Alternative doctest implementation that extracts comments to modules
Parts of doctest exposed as library
text adventure game
Compliment your dog from the command line
My own keyboard layout with support for handy symbol typing
A Coq library for domain theory
Raspberry Pi program for a chatty donation box
My dotfiles, configured with chezmoi
my dotfiles (I'm about to scatter different aspects of my dotfiles among several darcs branches/repos here)
Personal DotFiles
Configuration files
My dotfiles, managed with GNU Stow
dotfiles
miscellany of haskell code
dotfiles for arch linux
Miscellaneous dotrc files
personal dot, /etc, and other files
Vim config
Inspired by https://fsharpforfunandprofit.com/posts/monadster/.
chess engine (and game) written in C
Drinks Menu
A DROD-like game stub in Haskell
Spam detector
Learning Haskell: A Maze Game
dummy
Makefile parser with shake backend
some of my dzen2 scripts including reddit.sh and pkgnotify.sh
Computing E-varieties of links
A simple plotting library for Haskell, using gnuplot for rendering.
A simple echo sever in Haskell
[Rust] Essentially POSIX-compliant ed(1)
A Haskell library of efficient data structures
EDN syntax highlighting for Sublime Text
edsger programming language
Enums Elaborate Emissions
Ting's eforth for DOS (the non-optimized version with very little asm intended for portability)
porting eforth from COM to ELF format to run on Linux (with a minimum of asm words for easy porting)
eforthCD.zip contents
ejemplo
Config files and scripts for us administering a certain remote host.
Generalized El-Gamal cipher implemented in Idris
Benchmarks of Elgot algebras in ATS and Haskell
Talk about German tax declaration submission system ELSTER
My .emacs-conf directory
a literal emacs configuration
Redone emacs configuration so it's not a nightmare to deal with anymore
My Emacs configuration
Miscellaneous Emacs extensions
My emacs startup customization
A backup for my emacs folder
My emacs configuration
my emacs config files
Election Method Mathematics Application
Rust tool to index the English corpus
Small DSL to generate Enum implementations
Development / Desktop environment
Esperanto Reference Sheet
Library for parsing epub document metadata (Haskell)
Command line utilities for working with epub files (Haskell)
Fork of Nils Danielsson's "equality" repo
XCB-alike Erlang X11 bindings
Come and have some fun tonight
Ethel Cain Theory
Haskell solutions to Project Euler problems
euler problems solved in haskell
Project Euler solutions (various languages)
Fork of Euterpea
Implementación de evaluadores para los lenguajes de mi tesis
Evdev to MQTT Gateway
A type-safe event store library
cat in go
example using darcs repository
examples of code
Haskell track on exercism.org
Exceptions which are explicit in the type signature.
Este es un repositorio para usar de ejemplo
Trying to solve the expression problem using containers
a small filter enabling notangle to handle external chunks
factorizacion en primos
factorization diagrams with happstack
fair isle project code
A dummy implementation of Faro card game
Diffferent hacks in diffrent languages of limited use for anyone, but me, but feel free. GPL3+
Speed up Megaparsec parsing when parsing succeeds
A Fast infoset library in Haskell
Fast IRC protocol implementation
messing around with fay
RSS feed generator
Watch RSS/Atom feeds for new items
example (fictional) darcshub feed sentences
forth emulator for the sake of cross-compilation
Forth experiments in FASM
llll
Bindings to the FFTW library.
Low-level interface to FFTW (Fast Fourier Transform)
Four In A Row Game
[Haskell] (De|En)code PonyAPI episode list
Downloads and typesets FimFiction.net fictions
A Monadic wrapper around System.Directory making recursive POSIX-find-like search simpler
Temporary forked version of fingertree
generic finger-tree structure
internet done right
Firefox extension for Org-capture
A simple command line tool to list open webpages in Firefox
The Grass Computing Platform
my first project
Friendly Interactive SHell config
early python port of the FIT test framework
Fix the order of samples in a heap profiling file
automatically manage the import list
Lists with statically known length based on non-empty package.
[Haskell] Normalize PATH
Haskell generics library for fixed-point types
Data types as fixpoints
A collection of fizzbuzz solutions I've written over time
A silly implementation of classic FizzBuzz.
FlameGraphs of GHC profiling
dead-simple mjpeg server
Exploring Neil Mitchell's MVar examples (Haskell)
Exact floating point values formatting for Haskell (printf "%a")
Flowlocks framework
Dmenu but fzf
Haskell bindings to the FogBugz API.
Simple force-directed layout
OCaml library for mathematical formula and code generation
RackUnit extensions to make life easier.
a simple bignum vocabulary
drop-in forth bignum recognizer
A number system with the complex number - 1 + i as base is developed. This permits the representation in binary form of any complex number a + b i with a and b integral or of the form k/2 n • In the latter case a separatrix is used to indicate negative powers of the base.
fun-size crypto nybles and bytes..for small systems
Error Correcting Codes
portable version of cm's eda tool
a forth implementation of microkanren, a tiny relational programming language
Named-Data Networking (NDN) over heterogenous mediums for amforth
Forth implementation of Online Codes, a class of rateless forward error correction codes.
My Project Euler problems in FORTH
recurrent neural network
forth round-robin database
draw with the mouse in your terminal
forth sixel signed distance functions graphics
sixel raster graphics in your terminal such as for graphics from a microcontroller over uart (obsolete repo)
Using sparse codes for unreliable storage mediums such as nand flash.
Tethered Forth FileSystem
forth query language
demo fp stuff
Functional Programming and Metaprogramming exercises from the German book of the same name
Fast Mandelbrot-family fractal viewer allowing navigation around the 4D parameter space.
Fractions
Incoherent code fragments in the Haskell language
Simple 2D drawing API
Front-End Seed (angular, coffeescript, requirejs, bootstrap, karma, jasmine, grunt, bower)
A 2002 python conversion of Frozen-Bubble
[Rust] Synchronise a file's state to disk
Learning Full Stack with React
Simple sentence segmentation
Tutorial exercises on function-based representations of data structures
some algos written in haskell
FunGEn, a cross-platform OpenGL/GLUT-based 2D game engine for haskell
fungi.game world model
Stream processing and stream fusion
Stream processing framework
Moon day, moon rise and moon shallow calculation
John Conway's Game of Life. Implementation in ClojureScript.
John Conway's Game of Life
A library for AI players of finite, sequential games with perfect information
Conways Game of Life in haskell
An internet wayback machine. Run your own instance!
A reverse prefix notation calculator in Haskell.
basilisk source files
simple tests for https://github.com/stefan-sf/gchecker
recursive atomic build system
KolibriOS, but forthy
Forms for Generic values
GenI natural language generator
GenI natural language generator
Graph reduction ENvironment System
eulklidean 2d geometry package
forth words for geometric algebra
Géometrie du jeu de Jean-Esther's Gaming Chat
Convert numbers to German numerals
[Kotlin] (Essentially) POSIX-compliant getopt(1)
[Rust] A minimalistic, (essentially) POSIX-compliant option parser
PyGTK FlipFlop blog client
Install generic Linux binary GHC (bash)
test import of the old GHC darcs repo
ghcLiVE talk at ACM Mid-Southeast 2012
Poster for una.edu Research Day 2013 for ghcLiVE
Let Ghostscript render pages in parallel
gale client
Gentle Introduction to Symbolic Computation
`gith` CLI utility for some tasks related to `git` source control management system
clone git repositories specified by the .gitmodules file
A quick programming challenge I came up with on the commute. Based on Nick Abbot's late night shows on LBC.
Example Global Script programs (for Rosetta Code)
The Global Script standard test suite (and specification)
Commands for manipulating $PATH for Global Script
Global Script website
Scripts for Global Script YouTube videos
A compression algorithm that is suitable for compresing small ammonts of data, like the bitmap of a glyph.
gnuplot hacks
Geometric Optimization Libraries
boggle solver & application
Gestion Organisationnelle des Capacités Exprimées dans l'Activité professionnelle
Install GOG.com games from .sh archives
A graphic Python application for calculating population in a finite cycled game of life.
Simple lightweight raw-buffer-centric cross-platform window system API!
GPS Logger
A small library for reading and working with track data orienting itself on the GPX standard
Functional reactive programming
Global Script graph algorithms library
Bindings to Graphviz for graph visualisation.
GreaseMonkey script for beeminder.com
social golfer problem local search with greedy initial configurations
FCC GROL exam prep web application (Haskell)
Shell command for grouping files by dates into folders
Obsolete: see hsgsac for an in-development version! Global Script string-compiler
Global Script de-sugarer, written in Global Script
Generalized Stochastic Differential Equations Solver
Standard libraries for representing Global Script source code
The actual Global Script markup language
A web-based widget for displaying the latest updates from a GNU Social profile.
Global Script compiler that solely typechecks the input
Global Script propositional test language
Global Script client for generating plain-text output
Global Script-oid Language for Web Servers
GTK3 TreeView for Vinyl
Memory allocation with added stress tests and integrity checks
minimal game for LA Haskell Users Group
A graphical interactive toplevel for Haskell
GNU Guix system configuration
Ĉarma bildosignaro en la formo de gutkatoj! :3
place to store code while learning
99 haskell problems
Ninety-Nine Haskell Problems
A compiler from haskell to javascript written in javascript.
Extra Haskell packages repository for Arch Linux
Hacked in API changes to darcs to support annotate-all
Process 00-index.tar.gz from Hackage
snapshot of the old hackage 2 repo on code.haskell.org before it moved to github
Hackage2
Which Haskeller uploaded most often to Hackage?
Functionnal art programing
A hack'n'slay game written in haskell
import from other blog engines to Hakyll
Hakyll blog based on DarkFox's, with yyyy/mm/dd directories for posts
Call for Papers of Haskell in Leipzig 2017
Hanabi card game
Towers of Hanoi
A command line utility for creating happstack web applications
Official Happstack Repository
Authentication for Happstack
Fork of the Happstack Crash Course
A small web application based on happstack-foundation
my haq
A HTTP reverse proxy
a minimalistic, extensible and precise calculator program and haskell library
hashed storage patches for look-for-moves darcs feature
a command line based hashing tool written in Haskell
C++ HashTable
The Haskell Alphabet
Add ghcjs support to haskell-devscripts
Fork of Debian packaging scripts for Haskell containing support for packaging executables
Neovim Haskell Environment
Programs that have are not packages yet.
an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO among other things...
my first project
Haskell Reflection via hint (ghc-api)
RethinkDB client library for haskell
Simple Haskell
Random Haskell experiments
Haskell syntax highlighting for vim
Custom Neovim Haskell Scripts
web application in haskell
An interactive Haskell course for mathematicians
solution while learning haskell by solving problems
TP Final PD 2015
Type programming meets HaskellDB
Haskell clone of Taskwarrior
A Haskell Lisp
Fork of HaXml darcs repo
A simple blog engine.
Kitchen Snitch HCAR source material
[Rust] Print a hexdump of standard input
Haskell Database
1D signal editor
Hello World
Just a test
simple 9p example with libixp
My First Darcs Repository
A web based messenger
hybrid logics random formulas generator
GIS in Haskell
Bindings to libharp in Haskell
❤️ Things that I’ve made for High Fidelity
Tool for highlighting package versions which differ from the latest on Hackage
Linear Programming using HiGHS and comfort-array
Hikari - Window Manager
hikari wayland compositor
Discontinued X11 implementation of hikari
Website for the hikari project
A simple parser for suggesting indenting of Haskell source
Runtime Haskell interpreter
hipsters' style coding
GTK irc client
Postprocess and compose tracks for Hirsch Heinrich's song
Run graph algorithms on git repo data
More Git tools in Haskell based on the hit package
Git protocol implementation in pure Haskell
Hive board game AI
Play Hive online
browsable copy of http://hackage.haskell.org/package/hledger-irr
hledger with the tags all clean
A command-line and web-based accounting tool; a Haskell rewrite of ledger. This is the old darcs repo, frozen on 2013/4/5; the new repo is on github.
HMatrix interface to LAPACK functions for banded matrices
Send and receive MIDI messages
Hidden Markov Models using HMatrix primitives
Hidden Markov Models using HMatrix primitives
holarchy network
init, cfg scripts and Projects
config files
nix home-manager
line mode gemini client in pony
Haskell Ook interpreter (and friends)
HoTT snippets
backtracking analysis of solutions in Haskell
Haskell Programming Practice
Tool for managing multi-package Haskell projects
Haskell-R bindings and interface
Haskell binding to libcryptsetup
A library for writing JSON-RPC client applications in Haskell.
Haskell library for building Noweb filters
Misc haskell utilities.
A command line calculator
Haskell bindings to the libcdio disc reading/writing library.
C -> LLVM compiler written in Haskell
Haskell shell script template (Haskell)
hscurses swimming fish example (Haskell)
New new new try at implementing Global Script in Haskell. Compiles Global Script to 'byte-code' written in the IO monad
Global Script String-compiler written in Haskell
Haskell implementation of Global Script source manipulation libraries
Global Script compiler front-end
Install Haskell software (Haskell)
Random bits of Haskell that don't go anywhere else
Automatically generates SlackBuild files from a cabal package (for Slackware Linux)
Generates SlackBuild from Cabal package
Haskell library providing Matlab bindings and interface
mdl compiler written in Haskell
A collection of miscellaneous modules (Haskell)
little haskell arcade shooter experiment
Haskell Server Pages
Directory streaming for hspec integration tests
A Haskell binding for Qt Quick.
Manic Tubes
HsQML-based implementation of Nine Men's Morris.
Sticky notes example program implemented in HsQML
HsQML sample programs
HsQML sample programs
HsQML-based implementation of Nine Men's Morris (Qt 4).
Haskell binding to libSDL
Haskell binding to libSDL-gfx
Haskell binding to libSDL-image
Haskell binding to libSDL-mixer
A template and tips for building SDL-based haskell apps on mac OSX
Haskell binding to libSDL-ttf
stringtemplate for haskell
Preprocessor for hsx
Preprocessor for hsx
Various math examples using Lean 4
Various math examples using Liquid Haskell
VT100 implementation in Haskell using SDL
HTML5 parser for Global Script
Listen to HTTP requests and react in an arbitrary way