epost/mcrl2-mode epost/mcrl2-mode

  • Stars
    star
    2
  • Language
    Emacs Lisp
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
epost/mcrl2-mode
github

epost

Reviews

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

Repository Details

Emacs mode for mCRL2 specification language

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

purescript-zux-html

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

aql-mode

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

tab-blaffer-3000

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

haskell-ubi-sunt

Predicate logic and relational algebra querying experiments
Haskell
1
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