Pinned Repositories
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
tilde
Top-down induction of first-order logical decision trees: master AI thesis implementation
webwhatsapp
A personal ( 1 person per instance ) use web client for whatsapp built on tgalal's Yowsup ( https://github.com/tgalal/yowsup )
krishnangovindraj's Repositories
krishnangovindraj/bazel-distribution
Bazel rules for assembling and deploying software distributions (see @vaticle for usage example)
krishnangovindraj/cucumber-messages
krishnangovindraj/dependencies
Bazel dependency declarations for build tools reused across @vaticle repositories (only for @vaticle)
krishnangovindraj/gherkin
A parser and compiler for the Gherkin language.
krishnangovindraj/london-tube-data
krishnangovindraj/ldbc_snb_interactive_v2_driver
krishnangovindraj/ldbc_snb_interactive_v2_impls
krishnangovindraj/llvm_toolchain_experiments
krishnangovindraj/masmovil-bazel-rules
krishnangovindraj/math-genealogy-typedb
krishnangovindraj/prolog-planning
Casually written prolog planner for learning
krishnangovindraj/rocksdb-test
krishnangovindraj/rules_rust
Rust rules for Bazel
krishnangovindraj/storage-benchmark
Storage benchmarks for typedb
krishnangovindraj/sudoku-solver
krishnangovindraj/typedb
TypeDB: a strongly-typed database
krishnangovindraj/typedb-behaviour
TypeDB Behaviour Test Specification
krishnangovindraj/typedb-client-java
TypeDB Client for Java
krishnangovindraj/typedb-client-nodejs
TypeDB Client for Node.js
krishnangovindraj/typedb-client-python
TypeDB Client for Python
krishnangovindraj/typedb-common
TypeDB Common Libraries and Scripts
krishnangovindraj/typedb-console
TypeDB Console: CLI for TypeDB and TypeDB Cluster
krishnangovindraj/typedb-docs
TypeDB Documentation
krishnangovindraj/typedb-examples
TypeDB Examples Projects and Tutorials
krishnangovindraj/typedb-iam
Open Source IAM Schema and Simulation
krishnangovindraj/typedb-jupyter
Jupyter connector for TypeDB
krishnangovindraj/typedb-protocol
TypeDB (Core and Cluster) RPC Communication Protocol
krishnangovindraj/typedb-simulation
TypeDB Simulation and Benchmarking Library
krishnangovindraj/typedb-studio
TypeDB Studio (IDE)
krishnangovindraj/typeql
TypeQL: the query language of TypeDB - a strongly-typed database