A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
49–72 of 108 · Most stars
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
Go wrapper for the .NET Core Runtime.
- dotnet
- wrapper
- golang
- dotnet-core
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency
Runtime inspection utilities for Python typing module
- typing
- introspection
- type-hints
- python
Run promise-returning & async functions concurrently with optional limited concurrency
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
A JIT Compiler and Runtime for Java in Common Lisp
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
The Frenetic Programming Language and Runtime System
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
Extism Go SDK - easily run WebAssembly modules in your Go applications
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
Set up a modern Yew web app by running one command.
- yew
- create-yew-app
- webassembly
- rust
Compile WebAssembly to native MicroPython modules