-
-
miking Public
Forked from miking-lang/mikingMiking - the meta viking: a meta-language system for creating embedded languages
OCaml Other UpdatedDec 19, 2025 -
-
treeppl-python Public
Forked from treeppl/treeppl-pythonPython interface to TreePPL
Python UpdatedNov 20, 2025 -
-
relocatable.nix Public
Forked from Ninlives/relocatable.nixA nix bundler that produces relocatable deployment script for nix store paths.
Nix UpdatedNov 17, 2025 -
-
-
-
miking-lang.github.io Public
Forked from miking-lang/miking-lang.github.iomiking.org website
MDX UpdatedMay 22, 2025 -
-
steno-phonetics Public
Experiment in using a phonetic dictionary as a steno interface
Rust UpdatedFeb 15, 2025 -
-
-
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Other UpdatedApr 9, 2024 -
spright Public
Forked from houmain/sprightAn advanced sprite sheet packer and sprite annotator.
C++ GNU General Public License v3.0 UpdatedDec 28, 2023 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJul 19, 2023 -
miking-benchmarks Public
Forked from miking-lang/miking-benchmarksThe general Miking benchmark suite
C++ MIT License UpdatedFeb 1, 2023 -
miking-workshop-2022-tutorials Public
Forked from miking-lang/miking-workshop-2022-tutorialsCode and descriptions for the tutorials of the Miking Workshop 2022
Monkey C MIT License UpdatedDec 14, 2022 -
budget-helper Public
A tool to check consistency between actual transactions and entered transactions
Svelte UpdatedJul 21, 2022 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedNov 16, 2021 -
trellis-dsl Public
Forked from miking-lang/trellis-dslThe Trellis DSL for handling Hierarchical hidden Markov models
UpdatedMar 11, 2021 -
quollwriter Public
Forked from garybentley/quollwriterQuoll Writer - A writing application that lets you focus on your words.
Java Apache License 2.0 UpdatedMar 3, 2021 -
-
Scribe Public
A hierachical text editor, meant for story writing, to be hosted on app engine.
Clojure UpdatedNov 1, 2018 -
-
-
-
-
{{ message }}