-
-
docker-satysfi Public
Docker images for SATySFi and Satyrographos
-
SATySFi Public
Forked from gfngfn/SATySFiA statically-typed, functional typesetting system
OCaml GNU Lesser General Public License v3.0 UpdatedFeb 9, 2024 -
-
setup-satysfi Public
Set up your GitHub Actions workflow with a specific version of SATySFi
MIT License UpdatedJan 20, 2024 -
rust-extensions Public
Forked from containerd/rust-extensionsRust crates to extend containerd
Rust Apache License 2.0 UpdatedJul 31, 2023 -
-
made-with-satysfi Public
List of documents made with SATySFi
-
learn-satysfi Public
Forked from puripuri2100/learn-satysfiSATySFiを学ぶためのドキュメント（作成中）
MIT License UpdatedMar 25, 2021 -
valico Public
Forked from s-panferov/valicoRust JSON Schema validator and JSON coercer
Rust MIT License UpdatedMar 21, 2021 -
docker-satysfi-demo Public
A demo of satysfi-docker and GitHub Actions
-
-
satyrographos-repo Public
Forked from na4zagin3/satyrographos-repoCustom OPAM repository for SATySFi libraries managed by Satyrographos
UpdatedJan 26, 2020 -
satysfi-event-source Public
A simple synchronous event-source library for SATySFi
-
satyrographos Public
Forked from na4zagin3/satyrographosNaive package manager for SATySFi
OCaml GNU Lesser General Public License v3.0 UpdatedSep 15, 2019 -
crdts Public
An Erlang library for CRDTs (Conflict-free Replicated Data Types)
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 6, 2019 -
-
fialyzer Public
Forked from dwango/fialyzer[WIP] Faster Implementation of Dialyzer
OCaml Apache License 2.0 UpdatedFeb 19, 2019 -
-
docker-pdf-tools Public
A Dockerfile containing various pdf-related tools
Dockerfile UpdatedOct 4, 2018 -
-
rustls Public
Forked from rustls/rustlsA modern TLS library in Rust
Rust Other UpdatedSep 29, 2018 -
playroom Public
This is my playroom to get used to a variety of languages and libraries
-
actario Public
Verification Framework for Actor Systems on Coq
-
-
A Logger Interface Library for Erlang/OTP
Erlang MIT License UpdatedJun 20, 2018 -
erl-splay-tree Public
Forked from sile/erl-splay-treeA splay-tree implementation in Erlang
Erlang MIT License UpdatedNov 10, 2017 -
BoolServ Public
技術書典3で頒布する進捗大陸02で作る分散システムのソースコード