krishnangovindraj Goto Github PK

backtrackable-asserts

Hacky wrapper around assert & retract to implement asserts which appear to get reset on backtracking.

bazel-distribution

Bazel rules for assembling and deploying software distributions (see @vaticle for usage example)

computerarchitecture_vliw

VLIW architecture based project for our course

cucumber-messages

dependencies

Bazel dependency declarations for build tools reused across @vaticle repositories (only for @vaticle)

gherkin

A parser and compiler for the Gherkin language.

jterrain-bisag

A USGS DEM loader and renderer for our project in BISAG. This should load a dem file, Generate the geometry and superimpose the satellite images as well as provide control over the camera

jupyter-problog

A simple jupyter kernel for ProbLog

krishnangovindraj.github.io

ldbc_snb_interactive_v2_driver

ldbc_snb_interactive_v2_impls

llvm_toolchain_experiments

london-tube-data

masmovil-bazel-rules

math-genealogy-typedb

pljson

Quick dirty way to call python form prolog using json over http

prolog-planning

Casually written prolog planner for learning

rocksdb-test

storage-benchmark

Storage benchmarks for typedb

sudoku-solver

tilde

Top-down induction of first-order logical decision trees: master AI thesis implementation

typedb

TypeDB: a strongly-typed database

typedb-behaviour

TypeDB Behaviour Test Specification

typedb-client-java

TypeDB Client for Java

typedb-client-nodejs

TypeDB Client for Node.js

typedb-client-python

TypeDB Client for Python

typedb-common

TypeDB Common Libraries and Scripts

typedb-console

TypeDB Console: CLI for TypeDB and TypeDB Cluster

typedb-docs

TypeDB Documentation

typedb-examples

TypeDB Examples Projects and Tutorials