amutake/docker-satysfi amutake/docker-satysfi

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    Dockerfile
  • License
    Apache License 2.0
  • Created almost 6 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amutake/docker-satysfi
github

amutake

Reviews

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

Repository Details

Docker images for SATySFi and Satyrographos

More Repositories

1

actario

Verification Framework for Actor Systems on Coq
OCaml
29
star
2

coq-extensible-effects

Extensible Effects in Coq
Coq
8
star
3

haskelltter

Twitter client on GHCi (inspired by ocamltter)
Haskell
7
star
4

github-post-receive

A library to construct github post-receive servers.
Haskell
5
star
5

haskell-relational-record-driver-oracle

[Obsolete] Oracle driver for haskell-relational-record
Haskell
4
star
6

a-pi

Formalization of Aπ-calculus in Coq
Coq
4
star
7

docker-satysfi-demo

A demo of satysfi-docker and GitHub Actions
Shell
3
star
8

synchronizers

Synchronizer algorithms in Erlang
Erlang
3
star
9

crdts

An Erlang library for CRDTs (Conflict-free Replicated Data Types)
Erlang
2
star
10

psg-scheme

A Scheme interpreter written in Haskell (programming project for newcomers of PSG)
Haskell
2
star
11

erlsub

(ゴミ) Erlang version of MLsub
Makefile
2
star
12

playroom

This is my playroom to get used to a variety of languages and libraries
Haskell
2
star
13

spa-server

Simple static file server for single-page application
Go
2
star
14

mini_dialyzer

(ゴミ) Dialyzer for mini-Erlang
OCaml
2
star
15

shinchoquic

Toy QUIC implementation for 進捗大陸04
Rust
1
star
16

deco.zsh

deco: zsh function for text-decoration (foreground and background 256-colors, underline, blink, etc.)
Shell
1
star
17

satsukita-andon.com

satsukita-andon.com
Scala
1
star
18

homebrew-mathcomp

homebrew formula for mathematical components
Ruby
1
star
19

beam-printer

Pretty-printer for BEAM files
OCaml
1
star
20

prove-everywhere

Moved to https://github.com/prove-everywhere
Java
1
star
21

made-with-satysfi

List of documents made with SATySFi
JavaScript
1
star
22

free-game-ex

free-gameの練習
Haskell
1
star
23

BoolServ

技術書典3で頒布する進捗大陸02で作る分散システムのソースコード
OCaml
1
star
24

crates.io-reverse-dependencies

A chrome extension to see reverse-dependencies in crate pages
JavaScript
1
star
25

satysfi-event-source

A simple synchronous event-source library for SATySFi
Shell
1
star
26

imp

A simple imperative language for learning/teaching Haskell
Haskell
1
star