MarkoSchuetz
Follow
-
-
inso-course-project-template Public
Forked from inso-test-org/inso-course-project-templateThis repository template will create a repository with the metrics collection set up automatically.
Apache License 2.0 UpdatedDec 7, 2024 -
-
-
Nim Public
Forked from nim-lang/NimNim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Nim Other UpdatedNov 16, 2023 -
-
steno-dictionaries Public
Forked from didoesdigital/steno-dictionariesDi's Plover-theory stenography dictionaries used by Typey Type for Stenographers.
JSON GNU General Public License v2.0 UpdatedMay 23, 2023 -
piStar Public
Forked from jhcp/piStarpiStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
JavaScript MIT License UpdatedApr 13, 2023 -
plover Public
Forked from openstenoproject/ploverOpen source stenotype engine
Python GNU General Public License v2.0 UpdatedJun 25, 2022 -
cucumber.ml Public
Forked from cucumber/cucumber.mlCucumber for OCaml
OCaml MIT License UpdatedDec 27, 2021 -
TCIM_devfile Public
Forked from Quisette/TCIM_devfileDatabase for dictionary file
Python UpdatedAug 24, 2021 -
replpad-js Public
Forked from hostilefork/replpad-jsInteractive Web Console for Rebol language (Ren-C branch)
JavaScript GNU Lesser General Public License v3.0 UpdatedDec 20, 2020 -
-
-
meddly Public
Forked from asminer/meddlyMulti-terminal and Edge-valued Decision Diagram LibrarY
C++ GNU Lesser General Public License v3.0 UpdatedOct 23, 2018 -
tlaplus_animation Public
Forked from will62794/tlaplus_animationA TLA+ module for animating TLC traces.
TLA UpdatedJul 15, 2018 -
blink-server Public
Forked from Rudis1261/blink-serverThis is the server you would need to be able to run the Blink Android Application.
Python MIT License UpdatedFeb 13, 2018 -
snapsync Public
Forked from doudou/snapsyncA synchronization tool for btrfs-backed snapper snapshot directories
Ruby MIT License UpdatedFeb 13, 2018 -
-
alloy-raft Public
Forked from bradford-smith94/alloy-raftAn attempt at creating a simple model of the Raft Consensus Algorithm in Alloy.
Alloy UpdatedMar 31, 2017 -
-
-
-
urweb Public
Forked from urweb/urwebThe Ur/Web programming language
Standard ML Other UpdatedMay 5, 2016 -
libconcurrency Public
Automatically exported from code.google.com/p/libconcurrency
C UpdatedApr 8, 2016 -
dot-files Public
Forked from howardabrams/dot-filesStartup scripts for Zsh and other dot files. Placed here so that I can easily share them between my devices.
Emacs Lisp UpdatedSep 14, 2015 -
maude-formal-environment Public
Automatically exported from code.google.com/p/maude-formal-environment
Shell UpdatedMar 21, 2015 -
-
dxr Public
Forked from mozilla/dxrAn intelligent source code browser