epost/haskell-ubi-sunt epost/haskell-ubi-sunt

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
epost/haskell-ubi-sunt
github

epost

Reviews

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

Repository Details

Predicate logic and relational algebra querying experiments

More Repositories

1

purescript-node-postgres

PureScript bindings for node-postgres.
PureScript
32
star
2

c64-game

A horizontal space shooter for Commodore 64.
Assembly
19
star
3

purescript-free-turtle

A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.
PureScript
16
star
4

purescript-datalog-parsers

Parsers for Prolog, Datomic, and various other Datalog varieties.
PureScript
11
star
5

psc-query

PureScript source code knowledge extraction and querying support.
Haskell
9
star
6

purescript-any-db

PureScript Bindings for the node-any-db library.
PureScript
9
star
7

purescript-grasp

Graph specification processor language in PureScript
PureScript
8
star
8

souffle-mode

Emacs mode for Souffle datalog files.
Emacs Lisp
5
star
9

purescript-null

I got 99 problems but a null ain't one.
PureScript
4
star
10

purescript-midi

PureScript MIDI library based on MIDI.js
PureScript
4
star
11

mcrl2-mode

Emacs mode for mCRL2 specification language
Emacs Lisp
2
star
12

purescript-zux-html

Toy PureScript HTML DSL with types similar to Pux.
PureScript
2
star
13

aql-mode

Emacs mode for CQL (the Categorical Query Language, formerly AQL) from Categorical Informatics (http://catinf.com)
Emacs Lisp
2
star
14

tab-blaffer-3000

Bookmark export Chrome extension to blaf all your open tabs into org-mode or JSON format.
JavaScript
2
star
15

fp-in-js-examples

A few examples of basic FP stuff in using Ramda.js
JavaScript
1
star
16

urweb-nix-experiment

Ur/Web example project using Nix
UrWeb
1
star
17

purescript-halogen-sprite-editor

Sprite editor written in PureScript Halogen.
PureScript
1
star
18

amsscala-examples

Example code from some Amsterdam Scala Meetup sessions.
Shell
1
star