koba789 Goto Github PK

agda-handson

agda handson

agent-line

arangojs

The official ArangoDB JavaScript driver. It supports ArangoDB server versions 2.0 and higher. For legacy versions of the driver see https://github.com/triAGENS/ArangoDB-JavaScript.

async-rusoto

rusoto on async-std

aws-codebuild-docker-images

Official AWS CodeBuild repository for managed Docker images http://docs.aws.amazon.com/codebuild/latest/userguide/build-env-ref.html

aws-lambda-rie-gateway

Convert HTTP request to API Gateway payload for aws-lambda-rie

barbeque_client

barbeque client for Ruby

batch-loader-rs

The contracts and implementation for query batching

batch-recv-rs

Batched receive from queues

bdash

A simple business intelligence application.

bhcq

A pluggable DHCPv4 server written in Rust

bind-unit

脳汁出る

bottlerocket

An operating system designed for hosting containers

bottlerocket-admin-container

A container for admin access to Bottlerocket

bricolage

AWS-oriented Data Warehouse Framework

bricolage-schema

Bricolage Streaming Loader database schema

bricolage-streaming-preprocessor

Bricolage streaming preprocessing daemon

buildpack-nginx

Buildpack for static websites on Dokku (nginx)

c2a-core

Satellite Flight Software: Command-Centric Architecture

cascadenv

An action setting environment variables in cascading fashion

ch789-reed-solomon

2023/6/18 https://youtu.be/0eST0Qgub4E の配信で実装した Reed-Solomon のコード（ほぼそのまま）

chinachu-docker

Chinachu on Docker

cloud-b25-test

dockerized b25

coffeex

Coffee DSL for React Virtual DOM instead of JSX

combconf-web

元々 combconf.com というドメインで公開されていたウェブサイトのソースコード

cookie-line

a module of "subway"

cookpad-hackarade-minruby

material for Cookpad's Hackarade #4

counter

crossbeam-channel

Multi-producer multi-consumer channels for message passing

dapboot

DFU Bootloader for STM32 chips