There are no reviews yet. Be the first to send feedback to the community and the maintainers!
async-playground
Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generatorsTSCompiler
The aim of this project is to provide interfaces to the TypeScript compiler in multiple languages.polynomial-interpolation-web-gui
Polynomial Interpolation Web GUI with GeoGebra, plots and outputs the math formulats-htaccess
Sample use of .htaccess in order to compile TypeScript files on-the-fly.uni-concurrent-systems-summary
Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nรผrnberg) on concurrency, esp. in systems programmingbasic-ontology-language
An experimental ontology language formalized in Coq with many semanticsmps-two-generatos-bug-repro
TypeBakery
Collection of some great classes for TypeScript.GenericEventListeners
GenericEventListeners for Java.ThreadLibrary.js
Library for creating simple threads (web workers) directly out of JavaScript functions without external files.ColorSplitter
Web app to show each and every color an image uses (feature-complete!)2019-08-18-submodule-test-parent-repo
reproducible-gf-runtime
This is an attempt to fully automate compilation of GF's C runtime and Java bindings. PRs and new maintainers appreciated.TypeBox
TypeBox - editor for TypeScript.mmt-latex-helpers
LaTeX utility macros for typesetting papers and theses involving the MMT Languageuni-sem11-elementary-number-theory
mmtpygments
Pygments Lexer for MMT Surface Syntax from the MMT projectchrome-surface-theme
Google Chrome theme featuring the upcoming Microsoft Surface!lambda-coq
A from-scratch formalization of untyped lambda calculus with de Bruijn indicesTimeCopier
Notification icon for Windows' system tray which copies the current datetime to the clipboard when clicked.Love Open Source and this site? Check out how you can help us