Expression language and expression evaluation for Go
- configuration-language
- expression
- evaluator
- go
Repository Index
47,133 repositories indexed
97–120 of 1,088 · Most stars
Type-Safe Errors for JS & TypeScript
- functional-programming
- typescript
:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).
- electron
- dotnet
- dotnet-core
- dotnet-standard
Translated🔥 A network library that is easier to use than libevent/libuv/asio. A c/c++ network library for developing TCP/UDP/SSL/HTTP/WebSocket/MQTT/Redis client/server.
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A polyfill for ES6-style Promises
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Annotations Docblock Parser
- hacktoberfest
ClojureScript interface to Facebook's React
Functional reactive programming library for TypeScript and JavaScript
Coroutine-based concurrency library for Python
- python
- coroutines
- greenlet
- asyncio
Powerful scripting language & versatile interactive shell
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
High performance, maintainable stylesheets.
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
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
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
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