A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt
Repository Index
47,133 repositories indexed
25–48 of 288 · Most stars
Java interface to OpenCV, FFmpeg, and more
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Ultra-lightweight JavaScript engine for the Internet of Things.
- javascript-engine
- javascript
- jerryscript
- internet-of-things
ClojureScript interface to Facebook's React
🐤 The friendly full-stack language
- programming-language
- javascript
- imba
- dom
Powerful scripting language & versatile interactive shell
WebAssembly System Interface
- wasi
- http
- webassembly
- os
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
inkle's open source scripting language for writing interactive narrative.
A minimalistic ClojureScript interface to React.js
Javascript Interpreter for .NET
- dotnet
- interpreter
- javascript
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice
A portable foreign-function interface library.
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
BGP implemented in the Go Programming Language
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
- data-science
- jupyter
- ipython
- repl
The Ballerina Programming Language
- programming-language
- language
- compiler
- ballerina-lang
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
- java
- jvm
- eclipse-openj9
- compiler
WebAssembly specification, reference interpreter, and test suite.
- specification
Tools and libraries to glue C/C++ APIs to high-level languages
- cppsharp
- parsing
- glue
- syntax-tree
jank is the native Clojure dialect with seamless C++ interop.