• Stars
    star
    10
  • Rank 1,797,611 (Top 36 %)
  • Language
    Prolog
  • Created over 11 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

Prolog simulaton of quantum physics

More Repositories

1

mercury-unicode

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

userscripts

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

mercury-tmlanguage

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

mpm

A Mercury package manager
Mercury
3
star
5

shift-reduce

A shift-reduce parser for Mercury
Mercury
3
star
6

mercury-slre

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

docker-mercury-bootstrap

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

CodeProject.Syntax.LALR

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

jssc

Microsoft JScript.net script compiler
JavaScript
2
star
10

atom-mercury

An Atom package for Mercury
CoffeeScript
2
star
11

mercury-mongoose

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

si-units

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

delphi-analyser

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

IPScanner

Testing ARP broadcasting on Android
Java
2
star
15

goldparser-prolog

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

grmc

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

mercury-node

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

IETranslateButton

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

gtk-plus-tutorial

A tutorial for programming in GTK+
C
1
star
20

dws_server_test

Testing the Delphi Web Server
1
star
21

generic-math

Mercury
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

skat

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

ImmutableRope

C#
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
43

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby
1
star