Pinned Repositories
agda-haskell-example
example haskell project with agda code generation
agda-interactive-server
agda --interactive websocket server
agda-practical
for use agda as programming language
ccscope
Continuous Cscope index updater
fluent-logger-haskell
A structured logger for Fluentd (Haskell)
graceful
Library to write graceful service.
haiji
A typed template engine, subset of jinja2
sfja-agda
"Software Foundations" Agda challenge
yesod-websocket-sample
YesodでWebSocketなサンプル
notogawa's Repositories
notogawa/haiji
A typed template engine, subset of jinja2
notogawa/docker-cross-armhf
notogawa/actix-web
Actix web is a small, pragmatic, and extremely fast rust web framework.
notogawa/buildpack-deps
notogawa/chainer
A flexible framework of neural networks for deep learning
notogawa/cpuminer
CPU miner for Litecoin and Bitcoin
notogawa/docker-ce
Docker CE
notogawa/docker-ce-packaging
Packaging scripts for Docker CE
notogawa/docker-pandoc
notogawa/dockworker
Docker daemon API client in Rust
notogawa/golang
Docker Official Image packaging for golang
notogawa/jlcross
Dockerfiles for arm devices e.g. Raspberry Pi Series
notogawa/libcamera-apps
notogawa/librpigrafx2
Graphics library for Raspberry Pi
notogawa/librpimemmgr
A memory manager for Raspberry Pi
notogawa/linux
Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
notogawa/lsp-haskell
lsp-mode :heart: haskell
notogawa/mailbox
Library for accessing the Mailbox Interface on VideoCore IV
notogawa/messagepack
Serialize instance for Message Pack Object msgpack.org[Haskell]
notogawa/momo
WebRTC Native Client Momo
notogawa/onnx
Open Neural Network Exchange
notogawa/onnxruntime
ONNX Runtime: cross-platform, high performance scoring engine for ML models
notogawa/py-videocore
Python library for GPGPU on Raspberry Pi
notogawa/pyopenssl
A Python wrapper around the OpenSSL library
notogawa/qpu-assembler2
Yet another assembler for VideoCore IV QPU
notogawa/ring
Safe, fast, small crypto using Rust
notogawa/rscam
Rust wrapper for v4l2
notogawa/test-cereal-getFloat32-vector
Do you have extra large memory ?
notogawa/test-onnxruntime
notogawa/userland
Source code for ARM side libraries for interfacing to Raspberry Pi GPU.