This is stars and forks stats for /msp-strath/TypOS repository. As of 27 Apr, 2024 this repository has 111 stars and 2 forks.
TypOS being an operating system for typechecking processes Are the processes being typechecked? Are the processes doing the typechecking? Yes. Still very much in the early stages of construction (may it never leave them!), TypOS is a domain-specific language for implementing type systems, based on an actor model (caveat emptor) of concurrent execution. Each region of source code is processed by an actor, implementing a typing judgement with a clearly specified interaction protocol. Actors may spawn...
TypOS being an operating system for typechecking processes Are the processes being typechecked? Are the processes doing the typechecking? Yes. Still very much in the early stages of construction (may it never leave them!), TypOS is a domain-specific language for implementing type systems, based on an actor model (caveat emptor) of concurrent execution. Each region of source code is processed by an actor, implementing a typing judgement with a clearly specified interaction protocol. Actors may spawn...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
SFML-haskell/SFML | HaskellC | 42 | 0 | 11 | 0 |
digital-asset/ex-healthcare-claims-processing | HaskellTypeScriptJavaScript | 32 | 0 | 16 | 0 |
yesodweb/wai | HaskellOther | 789 | 0 | 255 | 0 |
blab/rt-from-frequency-dynamics | MathematicaJupyter NotebookOther | 46 | 0 | 4 | 0 |
googollee/eviltransform | MATLABSwiftPHP | 2.3k | +2 | 468 | 0 |
Tunnelblick/Tunnelblick | Objective-CShellC | 2.7k | 0 | 336 | 0 |
michaeleisel/ZippyJSONCFamily | C++Objective-C++Other | 9 | 0 | 9 | 0 |
xebia-france/contrat-agile | Rich Text FormatOther | 2 | 0 | 2 | 0 |
huangyz0918/Hackintosh-Installer-University | Rich Text FormatC++C | 3.9k | 0 | 1k | 0 |
alibaba/GaiaX | CKotlinRust | 948 | 0 | 118 | 0 |