lierdakil/dbms-checker

This repository has been archived on 06/Feb/2021
Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 6 years ago
Updated over 5 years ago

lierdakil/dbms-checker

lierdakil

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

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

dbtool

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

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

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