flavioc/XSB flavioc/XSB

  • Stars
    star
    13
  • Rank 1,504,329 (Top 30 %)
  • Language
    C
  • License
    Other
  • Created almost 15 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
flavioc/XSB
github

flavioc

Reviews

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

Repository Details

XSB Prolog

More Repositories

1

meld

Meld virtual machine.
C++
28
star
2

cross-hurd

Scripts for cross-compiling and creating an Hurd system
Shell
28
star
3

cl-meld

Meld compiler written in Common Lisp
Common Lisp
14
star
4

yap

YAP is a high-performance Prolog compiler
C
11
star
5

cl-hurd

Common Lisp
8
star
6

gnumach

Fork of gnumach
C
6
star
7

CL-Pi-Calculus

An interpreter for a language based on the Pi-Calculus
Common Lisp
5
star
8

paip

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp code
Common Lisp
4
star
9

GoogleInterviews

Problems for the interviews.
C++
3
star
10

cl-funcpar

Parallel abstractions for Common Lisp
Common Lisp
3
star
11

mig

Fork of GNU MIG that understands C
C
2
star
12

yap-examples

Dump of test programs: for sync & backup
Prolog
2
star
13

yaptab-tests

YapTab Tests
Prolog
2
star
14

cl-yacc

Fork of the CL-Yacc project
2
star
15

formal-meld

TeX
1
star
16

glibc

C
1
star