Repositories list

• z3-customized

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.6k•1•0•0•Updated Apr 6, 2025Apr 6, 2025

• z3

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.6k•0•0•0•Updated Dec 17, 2023Dec 17, 2023

• deno-time-events-manager

  Public
  Manage Javascript's timeouts and intervals collection

  TypeScript

  •

  MIT License

  •4•0•0•0•Updated Feb 1, 2023Feb 1, 2023

• denodb

  Public
  MySQL, SQLite, MariaDB, PostgreSQL and MongoDB ORM for Deno

  TypeScript

  •

  MIT License

  •130•0•0•0•Updated Feb 1, 2023Feb 1, 2023

• comm-interface

  Public
  TypeScript

  •0•0•0•17•Updated Jan 6, 2023Jan 6, 2023

• cwe-grpc-client-server

  Public
  JavaScript

  •0•0•0•14•Updated Jan 3, 2023Jan 3, 2023

• dtk-graph-example1-app

  Public
  JavaScript

  •0•0•0•0•Updated Mar 16, 2021Mar 16, 2021

• charts-repo-actions-demo

  Public
  HTML

  •

  Apache License 2.0

  •1•0•0•0•Updated Feb 26, 2021Feb 26, 2021

• dtk-graph-example1-infra

  Public
  0•0•0•0•Updated Jan 6, 2021Jan 6, 2021

• dtk-graph-example1-helm

  Public
  HTML

  •0•0•0•0•Updated Jan 6, 2021Jan 6, 2021

• dtk-server

  Public
  Dtk Server

  infrastructuredevopsorchestration

  Ruby

  •

  Apache License 2.0

  •0•6•0•0•Updated May 16, 2019May 16, 2019

• dtk-client

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated May 16, 2019May 16, 2019

• dtk-dsl

  Public
  Ruby

  •0•0•0•0•Updated May 15, 2019May 15, 2019

• dtk-network-client

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 2, 2019Apr 2, 2019

• registry-server

  Public
  Registry server used for storing and serving information about executors

  TypeScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 25, 2019Mar 25, 2019

• dtk-node-agent

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 7, 2019Mar 7, 2019

• dtk-arbiter

  Public
  Ruby

  •0•2•0•0•Updated Nov 18, 2018Nov 18, 2018

• ruby-provider-openfaas

  Public
  Java

  •0•0•0•0•Updated Nov 13, 2018Nov 13, 2018

• ruby-conductor

  Public
  Ruby

  •0•0•0•0•Updated Nov 1, 2018Nov 1, 2018

• dtk-nem2-client

  Public
  NodeJS library for communication between dtk-client and nem2 blockchain

  TypeScript

  •0•0•0•0•Updated Oct 29, 2018Oct 29, 2018

• docker-gitolite

  Public
  Docker image for Gitolite

  Shell

  •

  MIT License

  •48•0•0•0•Updated Jul 27, 2018Jul 27, 2018

• dtk-provisioning

  Public
  Ruby

  •1•0•0•0•Updated Jun 6, 2018Jun 6, 2018

• dtk-common

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 6, 2018Jun 6, 2018

• dtk-common-core

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 6, 2018Jun 6, 2018

• aws_cloudformation

  Public
  Ruby

  •0•0•0•0•Updated May 22, 2018May 22, 2018

• nodejs-provider

  Public
  JavaScript

  •0•0•0•0•Updated Jun 23, 2017Jun 23, 2017

• dtk-docs-v1

  Public
  Dtk Documentation Repo

  CSS

  •0•0•0•0•Updated May 24, 2017May 24, 2017

• dtk-shell

  Public
  Ruby

  •

  Apache License 2.0

  •0•0•0•0•Updated May 23, 2017May 23, 2017

• scale15x

  Public
  Repo for info on Scale15x Workshop Day

  0•1•0•0•Updated Mar 2, 2017Mar 2, 2017

• provider-test

  Public
  0•0•0•0•Updated Dec 27, 2016Dec 27, 2016