kyagrd/mininax kyagrd/mininax

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 2-Clause "Sim...
  • Created about 11 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kyagrd/mininax
github

kyagrd

Reviews

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

Repository Details

More Repositories

1

tiper

Type Inference Prototyping Engine from Relational specifications of type systems
11
star
2

haskell

Programming in Haskell (Korean translation) - homepage
CSS
8
star
3

houkanren

Higher-Order twist to MicroKanren
Haskell
3
star
4

HMtyInferUsingProlog

specifying type inference for functional language usning Prolog
TeX
3
star
5

hs-partition-example

Haskell partition library example
Haskell
1
star
6

eien233ds

EIEN233 데이타ꡬ쑰 Data Structures
C++
1
star
7

trellys

Automatically exported from code.google.com/p/trellys
Haskell
1
star
8

bedwyr

OCaml
1
star
9

web2020

HTML
1
star
10

ttt-nodejs-example

tic-tac-toe 예제 μ„œλ²„
HTML
1
star
11

ExtensibleRecordsWithSetMembLP

Executable Relational Specification of Extensible Records with Set-Membership in Logic Programming
Prolog
1
star
12

hs-unification-example

Implementation of the rule-based unification algorithm U using unbound
Haskell
1
star
13

kchess

Korean chess board
HTML
1
star
14

blaze-latex-logging-example

Simple code example to demonstrate logging with LaTeX output
Haskell
1
star
15

naxPapers

Automatically exported from code.google.com/p/nax
TeX
1
star
16

hs-nipkow-lics93

Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification
Haskell
1
star