lierdakil/dbtool

This repository has been archived on 10/Aug/2024
Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 8 years ago
Updated over 7 years ago

lierdakil/dbtool

lierdakil

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

Small piece of software to help with formal analysis of relational database schemas

pandoc-crossref

Pandoc filter for cross-references

mathjax-pandoc-filter

Nodejs implementation of pandoc filter to turn TeX math into embedded SVG

vcsh-modules

Vcsh hooks for better git submodules support. Check wiki for README

xmonad-config

My Xmonad config with some extras

parser-demo

Demo showing operation of LL(1), LR(0), LR(1), SLR and LALR parsers

alpine-haskell

Alpine+GHC-musl+cabal-install+stack, via ghcup

alpaca-parser-generator

ALPACA - Anemic Lexer and PArser Creation Algorithm

xmonad-prime-monad

Monadic XMonad config

hakyll-livid.pp.ru

Hakyll sources for http://livid.pp.ru

free-monad-examples

Examples and exercises for the "Introduction to free monads" article

test-stack-multiproject

sudoku

Haskell sudoku solver

cosim

Cosimulation environment

atom-unix-filter

A simple atom package to run a UNIX filter on current text

bashscripts

Automatically exported from code.google.com/p/bashscripts

markco

pandoc-crossref-build

Docker environment to build pandoc-crossref for Linux statically

dbms-checker

milter-replyto

dumb milter that adds static reply-to headers to locally-originating mail

atom-zotero-bibtex-autocomplete

Autocomplete-plus provider for markdown bibtex citations with Better BibTeX Zotero plugin