Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
Repository Index
78,351 visible repositories in the index
601–624 of 952 · Most stars
Post-build IL optimizer and intermediate representation for .NET programs
- compiler
- csharp
- dotnet
- hecktoberfest
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
Java port of a concurrent trie hash map implementation from the Scala collections library
J2ME implementation in JavaScript
- j2me
F# Cold Tasks and Cancellable Tasks
- fsharp
- dotnet
- async-await
- dotnet-core
adt4j - Algebraic Data Types for Java
A little scheme implementation on top of Clojure
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
A library of mechanised undecidability proofs in the Coq proof assistant.
Automatic binding generator for native libraries in Crystal
Algebraic data types in Common Lisp
- common-lisp
- algebraic-data-types
- functional-programming
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
Arrow-macros provides Clojure-like arrow macros in Common Lisp
Evaluate JavaScript from Crystal!
- crystal
- javascript
- duktape
- hacktoberfest
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
ruby bindings for liblxc
- lxc
- ruby
- containers
Portable C Compiler sources
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A Lean formalization of the Stacks Project