stjordanis Goto Github PK

ct_from_programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

ctfp-2021

Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.

ctftooldirectory

List of helpful tools for every CTF Category

cthulhu.jl

The slow descent into madness

cti-python-stix2

OASIS TC Open Repository: Python APIs for STIX 2

cti-taxii-server

OASIS TC Open Repository: TAXII 2 Server Library Written in Python

cti-toolkit

CERT Australia Cyber Threat Intelligence (CTI) Toolkit

ctlc

(λ) Category theory and lambda calculus, Bachelor's thesis

ctop

Top-like interface for container metrics

ctrl

Conditional Transformer Language Model for Controllable Generation

ctrl-sum

Resources for the "CTRLsum: Towards Generic Controllable Text Summarization" paper

ctxsol

An Erlang/LFE Solaris Container Library

cu2cl

A prototype CUDA-to-OpenCL source-to-source translator, built on the Clang compiler framework

cuad

CUAD

cuarrays.jl

A Curious Cumulation of CUDA Cuisine

cub

cub-1

Cooperative primitives for CUDA C++.

cubes

Light-weight Python OLAP framework for multi-dimensional data analysis

cubes-examples

Cubes OLAP Examples

cubes-models

Collection of basic cubes models

cubesviewer

Explore and visualize analytical datasets

cubesviewer-server

CubesViewer server-side app and backend (optional)

cubetrack

Unity ML-Agents Environment for Active Object Tracking with Reinforcement Learning

cubic-oscillator

cubical

An experimental library for Cubical Agda

cubicaltt

Experimental implementation of Cubical Type Theory

cubicaltt-snippets

Cubical Type Theory snippets

cubictemp

A simple, elegant, fast templating engine

cublas

cublas.jl

Julia interface to CUBLAS