Solidity, the Smart Contract Programming Language
Repository Index
47,133 repositories indexed
1–24 of 25 · Most stars
JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to hotfix iOS App.
- jspatch
- hotfix
- jsbridge
- objc-runtime
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
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Datetimes for Humans™
- datetimes
- dates
- times
- date
High Performance data structures and utility methods for Java
- java
- performance
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
A Clojure DSL for Apache Spark
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
Optics for F#
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Make native methods available as partially applied functions.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Generates Blazor -> Javascript strongly typed interop methods.
Experiment to compile something Elm-ish to Wasm
Extension module for vertx-groovy adding methods and syntaxic sugar