• Stars
    star
    1
  • Language Mercury
  • Created over 10 years ago
  • Updated almost 10 years ago

Reviews

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

Repository Details

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

docker-mercury

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

mercury-vertx-binding

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

PSFits

PowerShell module to handle FITS files
C#
1
star
25

gtk-plus-windows

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

UnicodeConsole

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

KoreanRomajaIME

An IDE using Korean Romaja
C++
1
star
28

www.bing.com_search_english

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

learning-developing-chinese

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

java-sockets

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

ImmutableRope

C#
1
star
32

skat

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

mercury-regex

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

math

Various algorithms
Mercury
1
star
35

docker-mercury-depend

This docker repository contains all required dependencies for building Mercury from Git.
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