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
Repository Index
47,133 repositories indexed
121–144 of 195 · Most stars
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Go bindings for FANN, library for artificial neural networks
C# bindings for Sciter - create HTML/CSS/JS based native apps
- sciter
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
Official SDL2 & SDL3 bindings for V
- bindings
- module
- sdl
- sdl2
Ruby interface to the GNU Scientific Library
Parallel worker and capacity limiting library for Erlang
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
Electra is an esolang where you code like an electrician.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
The Rockstar programming language specification
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Sciter component for Delphi
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform