sto0pkid/swipl-tt sto0pkid/swipl-tt

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Prolog
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sto0pkid/swipl-tt
github

sto0pkid

Reviews

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

Repository Details

Implementation of dependent type theory in SWI-Prolog

More Repositories

1

CategoryTheory

Category Theory in Agda
Agda
12
star
2

AutoNomic

A p2p nomic game
C++
5
star
3

LemonChain

When life gives you lemons... make a chain out of them!
C++
4
star
4

Godelian

Godelian stuff in Agda
Agda
4
star
5

MathStuff

Random math stuff
Agda
1
star
6

PythonProjectInitializer

A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.
Shell
1
star
7

1HourOS

Learning how to write an operating system, following: https://www.youtube.com/watch?v=1rnA6wpF0o4
Makefile
1
star
8

WikiMods

PHP
1
star
9

Library

archive for publications etc..
1
star
10

DimensionalAnalysis

Simple package for computation with dimensional quantities
Python
1
star