natsukagami/gears-book natsukagami/gears-book

  • Stars
    star
    1
  • Language
    Scala
  • Created 8 months ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
natsukagami/gears-book
github

natsukagami

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The book on writing structured concurrency in gears

More Repositories

1

mpd-mpris

An implementation of the MPRIS protocol for MPD.
Go
136
star
2

themis-web-interface

A web interface for Themis, written in Node.js
JavaScript
35
star
3

kjudge

A simple system for hosting competitive programming contests.
Go
22
star
4

youmubot

Public Youmubot system, modular (I hope!) and safe and fast...
Rust
10
star
5

nix-home

My personal home-manager scripts. Mirror of https://git.dtth.ch/nki/nix-home
Nix
10
star
6

go-osu-parser

A .osu file parser for Golang. A direct port of https://github.com/nojhamster/osu-parser.
Go
7
star
7

kagami-stream

uwu??
Rust
7
star
8

cv

My personal CV
Haskell
5
star
9

tet-school-2017

Editorials for HSGS Tet School 2017
C++
2
star
10

tree-sitter-hylo

A tree-sitter language description for the Hylo programming language.
JavaScript
2
star
11

gcj19-fsharp

Trying to solve Google Code Jam 2019 in F#!
F#
2
star
12

suicord-data

suicord :suisuisui:
Go
2
star
13

mpdstream-discord

A Discord bot that streams your MPD output to Discord channels.
TypeScript
2
star
14

natsukagami.github.io

HTML
1
star
15

pre-duyen-hai-2017

Kì thi Pre Duyên hải 2017 cho Dự tuyển.
TeX
1
star
16

i3blocks-mpris

MPRIS status for i3blocks
Rust
1
star
17

powerful-detector

A testcase automatic formatter for programming contests
JavaScript
1
star
18

kjudge-api-go

An pluggable API for automated judging systems. Written in Go for efficiency testing.
Go
1
star
19

kagami-notes

My source code for `https://blog.nkagami.me`. Using the Hugo generator.
HTML
1
star
20

hakkero-project

A mini web novel game where players strives to win by writing the best collaborative story they can come up with.
JavaScript
1
star
21

rust-codeforces-api

Codeforces API for Rust (with blocking reqwest)
Rust
1
star
22

themis-web-interface-rpc

A RPC "plugin" for themis-web-interface to launch over the network.
Go
1
star
23

osu-music-copy

A program that allows you to copy and organize your osu! music library with ease.
Go
1
star
24

express-brute-nedb

An express-brute store using nedb
JavaScript
1
star
25

hsgs-osu-collab-100kan

HSGS osu! collab [100 kanojo version]
1
star
26

codefun-chd-statements

An attempt to re-format codefun's `Cúp Huynh Đệ` statements to a more friendly GFM format.
1
star