• Stars
    star
    1
  • Language
    TeX
  • Created about 8 years ago
  • Updated about 8 years ago

Reviews

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

Repository Details

More Repositories

1

trpl-2nd-pdf

移動しました! Move to 👉
TeX
116
star
2

trpl-ja-pdf

Rust
19
star
3

kindle-clock

Kindle Clock Server
Scala
17
star
4

featherweight_go

Featherweight Generics Go implementation by Scala
Scala
13
star
5

coffeebrew46

Swift
9
star
6

myBlog

blog
Perl
8
star
7

generics-in-swift

PoC of Generics in protocol/extension
Swift
8
star
8

excel-reads

Excel row parser using Scala macro
Scala
8
star
9

higher-kinded-polymorphism-in-swift

Higher Kinded Polymorphism in Swift
Swift
6
star
10

sbt-swagger-meta

This is a sbt plugin to generate a Swagger YAML/JSON file based on annotation
Scala
6
star
11

hxbn

hxbn is Haxe implementation of jsbn (http://www-cs-students.stanford.edu/~tjw/jsbn/)
Haxe
5
star
12

new-year-letter

年賀状
TeX
5
star
13

install-tex-travis

Install Script for TeXLive2019 to OSX and Linux on Travis CI
Shell
5
star
14

slick-bulk-insert

Auto bulk INSERT query generator for Slick
Scala
4
star
15

rust-type-level-programming-introduction

Rust
3
star
16

atnos-eff-last-action

Eff interpreter implementation for atnos Eff's `addLast`
Scala
3
star
17

PosixRegex

http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf
Scala
3
star
18

DIwithTaglessFinal

Scala
3
star
19

typeclass-csharp

Poorer Man's Typeclass in C# using HDict, Type indexed value and Higher kinded polymorphism
C#
3
star
20

qrand

A fair gacha using Quantum simulator
Python
3
star
21

sbt-javacpp4s

A sbt plugin using JavaCPP for Scala
Scala
3
star
22

featherweight_go-slide

TeX
2
star
23

fujiTypeTask

Scala
2
star
24

karabiner-complex-modifications

My Karabiner Settings for Dvorak
Shell
2
star
25

Serzone-Demo

CSS
2
star
26

scalamatsuri2020

An interpreter handling over effects for Eff
TeX
2
star
27

ExtensibleException

Scala
2
star
28

HDic

Swift
2
star
29

scalamatsuri2023

TeX
2
star
30

match-types-regex

Simple compile-time regular expression matcher
Scala
2
star
31

fair-gacha-slide

TeX
2
star
32

try-swift-slide

TeX
2
star
33

structure.js

This is a both of presentation and framework framework based on HTML & CSS
JavaScript
2
star
34

fujitask-eff

Fujitask(one of the transaction monads) implementation by Extensible Effects.
Scala
2
star
35

SATySFi-docs

Docs for https://github.com/gfngfn/SATySFi
Shell
2
star
36

close

Resource Management Monad
Scala
2
star
37

rireki-tex

https://www.tamacom.com/rireki-j.html さんのクラスをTravis CIでビルドする設定
TeX
2
star
38

beamer-notes-environment

notes: Beamer environment like \note command
TeX
1
star
39

Cont-in-Swift

Swift
1
star
40

java-future-converter

Convert Java Future to Scala Future
Scala
1
star
41

ransomware-slide

TeX
1
star
42

rust-gats-monad

Rust
1
star
43

mitou-final-slide

量子コンピュータによる公平な抽選システムの開発
TeX
1
star
44

extensible-exception-slide

TeX
1
star
45

fujitask-eff-slide

TeX
1
star
46

mentaljs

Secure multi-party computation library warking on browsers
JavaScript
1
star
47

NovelHinagata

小説生成スクリプトの雛形
Perl
1
star
48

MinimalCakePatternInSwift

Swift
1
star
49

install-tex-appveyor

Install Script for TeXLive2019 to Windows on AppVeyor
Shell
1
star
50

test-object

Scala
1
star
51

travis-tex

TeX
1
star
52

score

JavaScript
1
star
53

RegexJIT

Scala
1
star
54

WebScraperConfigPlus

Web::Scraperを設定ファイルから操作する
Perl
1
star
55

atnos-eff-state

State without mutable using atnos-eff.
Scala
1
star
56

quill-fujitask

Scala
1
star
57

pytomlrs

Rust
1
star