A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
25–48 of 331 · Most stars
ClojureScript interface to Facebook's React
Powerful scripting language & versatile interactive shell
High performance, maintainable stylesheets.
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
WebAssembly System Interface
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
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
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
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
🦎 Move an async function into its own thread.
- worker
- webworker
- thread
- web-worker
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice
A portable foreign-function interface library.
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
🍃 A refreshing programming language for the front-end web.
- mint-lang
- language
- compiler
- programming-language
Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
- discriminated-unions
- c-sharp
- f-sharp
- dotnetcore
: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
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python