sealmove
Follow
-
-
reditor Public
Multi-user text file manager and editor with Play Framework
Scala UpdatedJun 8, 2024 -
-
-
-
-
-
-
-
-
-
spin Public
Forked from fermyon/spinSpin is an open source framework for building and running fast, secure, and composable cloud microservices with WebAssembly
Rust Apache License 2.0 UpdatedSep 2, 2022 -
-
-
-
-
minic2c Public
Transpiling a simplified C-like dynamic language into C with C# and ANTLR
C# UpdatedJun 21, 2021 -
production-planning Public
Production planning problem used in the ACAI'14 programming competition
Shell UpdatedJun 21, 2021 -
fox-geese-corn Public
Simple planning problem - how to transport animals across the river?
Shell UpdatedJun 21, 2021 -
sip-model-checking Public
Model-checking the SIP protocol with Promela
MIT License UpdatedJun 4, 2021 -
-
awesome-kaitai Public
Forked from kaitai-io/awesome-kaitaiA curated list of Kaitai Struct tools and resources
Creative Commons Zero v1.0 Universal UpdatedDec 24, 2020 -
nimitai Public
A parser generator for binary data
-
-
-