-
lib-laddertypes Public
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
-
ldmc Public
Ladder-Typed Data Morphing Compiler — dynamically transform data-representations by type level descriptions
-
lib-r3vi Public
Rust Runtime for Reactive View-Projections
-
lib-nested Public
Primitives for building syntax-based, keyboard-driven editors
-
prettytable-rs Public
Forked from phsym/prettytable-rsA rust library to print aligned and formatted tables
Rust BSD 3-Clause "New" or "Revised" License UpdatedFeb 1, 2024 -
redGrapes Public
Forked from ComputationalRadiationPhysics/redGrapesResource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling 🍇
C++ Mozilla Public License 2.0 UpdatedFeb 1, 2024 -
syntaxAlchemist Public
Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing.
-
shell Public
prototypical shell-like REPL with ladder-typing and structured command-editing
Rust UpdatedNov 22, 2023 -
ltsh Public
tiny utility program for type-analysis of shell pipelines based on ladder-typing
-
combwriter Public
Ergonomic Split-Typewriter with 3D-Printed Circuit Board and Hexagonal Keycaps
-
picongpu Public
Forked from ComputationalRadiationPhysics/picongpuPIConGPU - A particle-in-cell code for GPGPUs
-
-
no-deadlocks Public
Forked from p-avital/no-deadlocksLocks compatible with std::sync, but with runtime deadlock debugging for testing purposes
Rust UpdatedFeb 25, 2021 -
rust-barebones-kernel Public
Forked from thepowersgang/rust-barebones-kernelA barebones framework for a rust kernel.
Assembly The Unlicense UpdatedSep 17, 2020 -
neo-LaTeX Public
Forked from WhatDothLife/neo-LaTeX.elA set of emacs-bindings for neo users.
Emacs Lisp GNU General Public License v3.0 UpdatedAug 4, 2020 -
qlcplus Public
Forked from mcallegari/qlcplusQ Light Controller Plus
C++ Apache License 2.0 UpdatedJul 9, 2020 -
giecs Public
Giecs Intermediate Environment for Concatenative, Stack-oriented programming
-
-
-
-
oxygarum Public
A 3D-engine written in C++ and based on OpenGL and SDL
-
-
FruityOrange Public
A toy operating system written in C & Assembly.
{{ message }}