• Stars
    star
    1
  • Language
  • License
    GNU General Publi...
  • Created over 9 years ago
  • Updated about 7 years ago

Reviews

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

Repository Details

This docker repository contains all required dependencies for building Mercury from Git.

More Repositories

1

physics

Prolog simulaton of quantum physics
Prolog
10
star
2

mercury-unicode

Unicode character database parser and library for the Mercury language
Mercury
8
star
3

userscripts

.cmd + .ahk scripts for daily developing
Vim Script
5
star
4

mercury-tmlanguage

Atom|Textmate|Sublime 2|GitHub grammar for Mercury
4
star
5

mpm

A Mercury package manager
Mercury
3
star
6

shift-reduce

A shift-reduce parser for Mercury
Mercury
3
star
7

mercury-slre

SLRE (super-light regular expression) binding for Mercury
Mercury
2
star
8

docker-mercury-bootstrap

A docker.io Dockfile for creating a bootstrapping Mercury compiler
Makefile
2
star
9

CodeProject.Syntax.LALR

Improvement of http://www.codeproject.com/Articles/252399/LALR-Parse-Table-Generation-in-Csharp
C#
2
star
10

jssc

Microsoft JScript.net script compiler
JavaScript
2
star
11

atom-mercury

An Atom package for Mercury
CoffeeScript
2
star
12

mercury-mongoose

A Mercury library wrapping popular light-wight webserver mongoose
Mercury
2
star
13

si-units

A typesafe and functional SI units implementation using Mercury typeclasses
Mercury
2
star
14

delphi-analyser

A call-graph analyser for the Delphi language
Mercury
2
star
15

IPScanner

Testing ARP broadcasting on Android
Java
2
star
16

goldparser-prolog

A GOLD Parser implementation in SWI-Prolog
Prolog
2
star
17

grmc

A cross-platform CLI to compile GOLD parser grammars
Makefile
2
star
18

mercury-node

A native Node.js binding for Mercury
JavaScript
2
star
19

IETranslateButton

A CommandBar extension with translates the selected text or the clipboard text
AutoHotkey
1
star
20

gtk-plus-tutorial

A tutorial for programming in GTK+
C
1
star
21

dws_server_test

Testing the Delphi Web Server
1
star
22

generic-math

Mercury
1
star
23

docker-mercury

A command to run a Mercury compiler contained in a Docker repository.
C
1
star
24

mercury-vertx-binding

A Mercury binding for http://vertx.io/, written using the Java grade.
1
star
25

PSFits

PowerShell module to handle FITS files
C#
1
star
26

gtk-plus-windows

A download script for the Gtk+ Windows port
Makefile
1
star
27

UnicodeConsole

An advanced unicode console using .NET 4.5
C#
1
star
28

KoreanRomajaIME

An IDE using Korean Romaja
C++
1
star
29

www.bing.com_search_english

A Greasemonkey script to automatically redirect to the English Bing search page
JavaScript
1
star
30

learning-developing-chinese

Complementary vocabulary and unit manager to the BLCU Developing Chinese course
C#
1
star
31

java-sockets

RockSaw and Virtual Services TCP/IP from www.savarese.org
Java
1
star
32

ImmutableRope

C#
1
star
33

skat

An implementation of the Skat card game using Mercury
Mercury
1
star
34

mercury-regex

Using the PCRE library and native regex libraries from Java and C#
1
star
35

math

Various algorithms
Mercury
1
star
36

diffs

A collection on yet-to-be published patches
Makefile
1
star
37

todo

My todo list
1
star
38

meadeautostar497

C#
1
star
39

skyfi-forwarder

Forwards UDP based Skywatcher WiFI commands to a specified serial connection
C#
1
star
40

nink-stroke-modeler

C#
1
star
41

docker-mercury-stable

Create a fully configured Mercury compiler from the latest stable release
1
star
42

docker-mercury-stable-cross

A stable cross compiling version of the Mercury compiler
Makefile
1
star