ray4laz
A complete header translation (binding) of the raylib 5.5 to Pascal. Without any
C105zlib
28 days ago
cross-platformenjoy-videogames-programmingfreepascal
linkasanote
The LaaNo app allows you to bind Notes to Links and sync them with your Nextclou
Java10gpl-3.0
2 years ago
Xamarin.Forms.StateButton
With this control, you are able to create any style of button. This is possible
C#14
last month
buttoncontrolcustom
serviceconnector
Bind Android services and callbacks to fields and methods.
Java16apache-2.0
5 years ago
go-bind-plugin
go-bind-plugin generates API for exported plugin symbols (-buildmode=plugin) - g
Go184apache-2.0
5 years ago
aurelia-binding-loader
An Aurelia loader for using any module directly from a view template
JavaScript11mit
9 years ago
tdengine-rust-bindings
Rust binding for TDengine
Rust7agpl-3.0
3 years ago
binding-generatorbindingsrust
v8pp
Bind C++ functions and classes into V8 JavaScript engine
C++903other
4 months ago
addonsc-plus-pluscpp
RxAnimationBinding
RxJava binding APIs for Android's animations
Java82apache-2.0
9 years ago
androidandroid-animationsanimation
bindkit
Two-way data binding framework for iOS. Only one API to learn.
Objective-C13bsd-2-clause
3 months ago
bindingdataios
FregeFX
Frege language binding and utilities to create JavaFX user interfaces
Frege33bsd-3-clause
3 years ago
pydsge
A package to simulate, filter, and estimate DSGE models with occasionally bindin
Python56mit
4 months ago
DelphiZeroMQ
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Pascal128other
5 years ago
Mobius
C# and F# language binding and extensions to Apache Spark
C#941mit
10 months ago
apache-sparkbigdatacsharp
bindbc-raylib3
A dynamic and static D binding to the raylib library
C15bsl-1.0
11 months ago
bindingddlang
NxEnabled
Library that allows you binding `enabled` property of button with textable eleme
Swift34mit
7 years ago
iosswiftuibutton
Capstone4Delphi
Capstone Disassembler Library Binding for Delphi
Pascal17mpl-2.0
4 years ago
assemblerdelphidisassembler
detergentex
Elixir binding to Detergent erlang library used to call WSDL/SOAP Services
Elixir64
6 years ago
rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libso
Ruby982mit
5 months ago
chacha20cryptographyed25519
EBind
🔵 .NET Data Binding we deserve: concise, fast, feature-rich
C#163apache-2.0
3 years ago
csharpdata-bindingdotnet
CFSelenium
A native Selenium WebDriver binding for ColdFusion
ColdFusion81apache-2.0
4 years ago
cfccfmlcoldfusion
GacUI
GPU Accelerated C++ User Interface, with WYSIWYG developing tools, XML supports,
C++2343other
26 days ago
clearx
ClearX is an alternative way to Redux and MobX to maintain the application state
22apache-2.0
5 years ago
fzf-tools
A ZSH plugin that provides functions which integrate & bind fuzzy finder capabil
Shell11mit
last year
bashfunctionsfuzzy-finder
cloud-operators
Provision and bind IBM Cloud services to your Kubernetes cluster in a Kubernetes
Go42apache-2.0
6 months ago
cloud-serviceibmkubernetes
aurelia-rethink-bindtable
Aurelia bind table integration for RethinkDB via Socket.io
JavaScript16
8 years ago
react-native-couchbase-lite
Couchbase Lite binding for React Native Android & iOS
Java110mit
3 years ago
bindbc-zstandard
Configurable dynamic and static binding to Facebook's zstandard compression libr
D2bsl-1.0
6 years ago
kalium
Java binding to the Networking and Cryptography (NaCl) library with the awesomen
Java208apache-2.0
last year
cryptographyjavajava-bindings
slap
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix
OCaml88lgpl-2.1
4 years ago
Flow
A Flash layout, effects, data binding, remoting framework designed to be used in
ActionScript30
10 years ago
minimap-highlight-selected
A minimap binding for the highlight-selected package
JavaScript41mit
2 years ago
ponder
C++ reflection library with Lua binding, and JSON and XML serialisation.
C++647other
2 years ago
c-plus-pluscampcpp
mysql2
A modern, simple and very fast Mysql library for Ruby - binding to libmysql
Ruby2240mit
4 months ago
glbinding
A C++ binding for the OpenGL API, generated using the gl.xml specification.
C++832mit
5 months ago
c-plus-plusc-plus-plus-11library
v-hotkey
Vue 2.x directive for binding hotkeys to components.
JavaScript722mit
2 years ago
directivehotkeyvue
v-chart-plugin
Easily bind a chart to the data stored in your Vue.js components.
JavaScript198gpl-3.0
2 years ago
chartcomponentd3
jsonschema2pojo
Generate Java types from JSON or JSON Schema and annotate those types for data-b
Java6239apache-2.0
22 days ago
ant-taskgradle-plugingson
tincapp
Android binding and user interface for the tinc mesh VPN daemon.
Kotlin165gpl-3.0
2 months ago
androidtincvpn
ginrpc
gin auto binding,grpc, and annotated route,gin 注解路由, grpc,自动参数绑定工具
Go288apache-2.0
last year
autobindbinding
webview
V binding for webview - a tiny cross-platform library to build modern cross-plat
V58mit
6 months ago
bindingsgtkgui
vue-input-streaming
A Vue2 Input Streaming RealTime And Two Way Data Binding Broadcasting with Pushe
JavaScript24mit
4 years ago
expresshacktoberfestinput
java-client
Java language binding for writing Appium Tests, conforms to W3C WebDriver Protoc
Java1221apache-2.0
5 days ago
androidappiumautomation
gbind
Bind data to any Go value. Can use built-in and custom expression binding capabi
Go8mit
2 years ago
bindcacheexpression
Ultimate-Xamarin-Forms-KIT
A powerful 🚀 Android/iOS chart view / graph view library, binding support for X
C#121
4 years ago
ocaml-cairo
Binding to Cairo, a 2D Vector Graphics Library.
OCaml54lgpl-3.0
last year
cairocairo-drawingdrawing
bindbc-harfbuzz
A configurable dynamic and static D binding to the HarfBuzz library which is com
D1bsl-1.0
3 years ago
vue-mobx
:smile: :star: :innocent: Mobx binding for Vuejs 2.
TypeScript110mit
7 years ago
mobxmobx-vuevuejs2
Xamarin.GradleBindings
VS add-in. Creates Xamarin.Android Binding Projects using gradle
C#146mit
7 years ago
android-bindingsgradlevisual-studio-extension
httpin
🍡 HTTP Input for Go - HTTP Request from/to Go Struct (Bi-directional Data Bindi
Go291mit
6 months ago
data-bindinggogo-api
rust-GSL
A GSL (the GNU Scientific Library) binding for Rust
Rust189
7 months ago
bindingsgslgsl-library
zstd-rs
A rust binding for the zstd compression library.
Rust484mit
5 months ago
compressionrust-bindingswrapper
vuex-map-fields
Enable two-way data binding for form fields saved in a Vuex store
JavaScript1418mit
last year
hacktoberfest
icon-classifier
An Icon classifier made with TFLite Model Maker and deployed to Android with ML
Jupyter Notebook7
4 years ago
androidcomputer-visiondeep-learning
governator
Governator is a library of extensions and utilities that enhance Google Guice to
Java825apache-2.0
last year
crystal-fann
FANN (Fast Artifical Neural Network) binding in Crystal
Crystal84mit
3 years ago
crystalfannmachine-learning
sys-mount
High level FFI binding around the sys mount & umount2 calls, for Rust
Rust41mit
10 months ago
python-ucto
This is a Python binding to the tokenizer Ucto. Tokenisation is one of the first
Cython29
2 months ago
computational-linguisticsfolianlp
go-mxnet-predictor
go binding for mxnet c_predict_api to do inference with pre-trained model
Go55apache-2.0
6 years ago
cgodeep-learninggolang
qt
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD /
Go10333lgpl-3.0
9 months ago
androidasteroidoscross-platform-gui
magic-enter
Make your enter key magical by binding a Zsh command to it
Shell13mit
last year
zshzsh-plugin
react-native-arkit
React Native binding for iOS ARKit
Objective-C1725mit
2 years ago
arkitaugmented-realityios
backbone.iobind
Bind socket.io events to backbone models & collections. Also includes a drop-in
JavaScript582
5 years ago
vue-route-props
A plugin that can automatically bind Vue-router query to Vue instance.
JavaScript1mit
5 months ago
propsqueryroute
vuex-search
Vuex binding for client-side search with indexers and Web Workers :green_book::m
JavaScript163mit
2 years ago
indexsearchvue
go-mongox
A Go Mongo library based on the official MongoDB driver, featuring streamlined d
Go102apache-2.0
5 months ago
builderdatabasego
roxml
ROXML is a module for binding Ruby classes to XML. It supports custom mapping an
Ruby224mit
5 months ago
rux
⚡ Rux is an simple and fast web framework. support route group, param route bind
Go97mit
5 months ago
gohttp-handlerhttp-middleware
vue-countable
✍️ Vue binding for countable.js. Provides real-time paragraph, sentence, word, a
Vue26mit
5 years ago
characterscountcountable
laravel-form-components
A set of Blade components to rapidly build forms with Tailwind CSS (v1.0 and v2.
PHP814mit
10 months ago
bootstrapbootstrap-4bootstrap4
riverpod
A reactive caching and data-binding framework. Riverpod makes working with asy
Dart6019mit
4 months ago
dartflutterhacktoberfest
vibe
Vibe is a request library for V. It utilizes a libcurl binding to enable fast an
V26mit
6 months ago
curlhttplibcurl
gbdk-go
Experimental Go binding for GBDK(GameBoy Development Kit). You can develop GameB
Go21mit
3 years ago
gameboygbdevgbdk
aurelia-knockout
Adds support for Knockout binding syntax to make transition from Durandal and Kn
TypeScript22mit
2 years ago
aureliaaurelia-pluginscomposition
d3-template
D3 plugin to create and render templates using D3's data binding mechanism
JavaScript8bsd-3-clause
2 years ago
GtkD
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteir
D321other
5 months ago
gtfs-realtime-bindings
Language bindings generated from the GTFS Realtime protocol buffer spec for popu
Java374apache-2.0
5 months ago
gtk-sharp
Gtk# is a Mono/.NET binding to the cross platform Gtk+ GUI toolkit and the found
C#430other
2 years ago
bcrypt-ruby
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorith
C1919other
4 months ago
libsass-python
A straightforward binding of libsass for Python. Compile Sass/SCSS in Python wi
Python561mit
4 months ago
pythonsassscss
TensorFlow.Delphi
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for Ten
Pascal73apache-2.0
2 years ago
aideep-learningdelphi
minerva
Minerva: a fast and flexible tool for deep learning on multi-GPU. It provides nd
C++698other
6 years ago
bindbc-sdlgfx
Dynamic and static bindings to SDL2_gfx, compatible with -betterC, @nogc, and no
D1
5 years ago
Vortice.Windows
.NET bindings for Direct3D12, Direct3D11, WIC, Direct2D1, XInput, XAudio, X3DAud
C#979mit
4 months ago
direct3ddirect3d11direct3d12
SwiftyZeroMQ
ZeroMQ Swift Bindings for iOS, macOS, tvOS and watchOS
Swift63mit
6 years ago
iosmacosswift
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python15agpl-3.0
5 years ago
adabinding-generatorbindings
DerelictCL
Dynamic bindings to the OpenCL library for the D Programming Language.
D7bsl-1.0
5 years ago
pycoq
Python bindings for the Coq interactive proof assistant
OCaml50
3 years ago
coqmachine-learningpython
bootsharp
Compile C# solution into single-file ES module with auto-generated JavaScript bi
C#670mit
yesterday
buncodegencsharp
dotherside
C language library for creating bindings for the Qt QML language
C++200other
last year
bindingsqmlqml-bindings
ray4laz
A complete header translation (binding) of the raylib 5.5 to Pascal. Without any
C105zlib
28 days ago
cross-platformenjoy-videogames-programmingfreepascal
linkasanote
The LaaNo app allows you to bind Notes to Links and sync them with your Nextclou
Java10gpl-3.0
2 years ago
Xamarin.Forms.StateButton
With this control, you are able to create any style of button. This is possible
C#14
last month
buttoncontrolcustom
serviceconnector
Bind Android services and callbacks to fields and methods.
Java16apache-2.0
5 years ago
go-bind-plugin
go-bind-plugin generates API for exported plugin symbols (-buildmode=plugin) - g
Go184apache-2.0
5 years ago
aurelia-binding-loader
An Aurelia loader for using any module directly from a view template
JavaScript11mit
9 years ago
tdengine-rust-bindings
Rust binding for TDengine
Rust7agpl-3.0
3 years ago
binding-generatorbindingsrust
v8pp
Bind C++ functions and classes into V8 JavaScript engine
C++903other
4 months ago
addonsc-plus-pluscpp
RxAnimationBinding
RxJava binding APIs for Android's animations
Java82apache-2.0
9 years ago
androidandroid-animationsanimation
bindkit
Two-way data binding framework for iOS. Only one API to learn.
Objective-C13bsd-2-clause
3 months ago
bindingdataios
FregeFX
Frege language binding and utilities to create JavaFX user interfaces
Frege33bsd-3-clause
3 years ago
pydsge
A package to simulate, filter, and estimate DSGE models with occasionally bindin
Python56mit
4 months ago
DelphiZeroMQ
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Pascal128other
5 years ago
Mobius
C# and F# language binding and extensions to Apache Spark
C#941mit
10 months ago
apache-sparkbigdatacsharp
bindbc-raylib3
A dynamic and static D binding to the raylib library
C15bsl-1.0
11 months ago
bindingddlang
NxEnabled
Library that allows you binding `enabled` property of button with textable eleme
Swift34mit
7 years ago
iosswiftuibutton
Capstone4Delphi
Capstone Disassembler Library Binding for Delphi
Pascal17mpl-2.0
4 years ago
assemblerdelphidisassembler
detergentex
Elixir binding to Detergent erlang library used to call WSDL/SOAP Services
Elixir64
6 years ago
rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libso
Ruby982mit
5 months ago
chacha20cryptographyed25519
EBind
🔵 .NET Data Binding we deserve: concise, fast, feature-rich
C#163apache-2.0
3 years ago
csharpdata-bindingdotnet
CFSelenium
A native Selenium WebDriver binding for ColdFusion
ColdFusion81apache-2.0
4 years ago
cfccfmlcoldfusion
GacUI
GPU Accelerated C++ User Interface, with WYSIWYG developing tools, XML supports,
C++2343other
26 days ago
clearx
ClearX is an alternative way to Redux and MobX to maintain the application state
22apache-2.0
5 years ago
fzf-tools
A ZSH plugin that provides functions which integrate & bind fuzzy finder capabil
Shell11mit
last year
bashfunctionsfuzzy-finder
cloud-operators
Provision and bind IBM Cloud services to your Kubernetes cluster in a Kubernetes
Go42apache-2.0
6 months ago
cloud-serviceibmkubernetes
aurelia-rethink-bindtable
Aurelia bind table integration for RethinkDB via Socket.io
JavaScript16
8 years ago
react-native-couchbase-lite
Couchbase Lite binding for React Native Android & iOS
Java110mit
3 years ago
bindbc-zstandard
Configurable dynamic and static binding to Facebook's zstandard compression libr
D2bsl-1.0
6 years ago
kalium
Java binding to the Networking and Cryptography (NaCl) library with the awesomen
Java208apache-2.0
last year
cryptographyjavajava-bindings
slap
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix
OCaml88lgpl-2.1
4 years ago
Flow
A Flash layout, effects, data binding, remoting framework designed to be used in
ActionScript30
10 years ago
minimap-highlight-selected
A minimap binding for the highlight-selected package
JavaScript41mit
2 years ago
ponder
C++ reflection library with Lua binding, and JSON and XML serialisation.
C++647other
2 years ago
c-plus-pluscampcpp
mysql2
A modern, simple and very fast Mysql library for Ruby - binding to libmysql
Ruby2240mit
4 months ago
glbinding
A C++ binding for the OpenGL API, generated using the gl.xml specification.
C++832mit
5 months ago
c-plus-plusc-plus-plus-11library
v-hotkey
Vue 2.x directive for binding hotkeys to components.
JavaScript722mit
2 years ago
directivehotkeyvue
flutter_rust_bridge
Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
Dart3783mit
4 months ago
bindgendartffi
v-chart-plugin
Easily bind a chart to the data stored in your Vue.js components.
JavaScript198gpl-3.0
2 years ago
chartcomponentd3
jsonschema2pojo
Generate Java types from JSON or JSON Schema and annotate those types for data-b
Java6239apache-2.0
22 days ago
ant-taskgradle-plugingson
tincapp
Android binding and user interface for the tinc mesh VPN daemon.
Kotlin165gpl-3.0
2 months ago
androidtincvpn
ginrpc
gin auto binding,grpc, and annotated route,gin 注解路由, grpc,自动参数绑定工具
Go288apache-2.0
last year
autobindbinding
webview
V binding for webview - a tiny cross-platform library to build modern cross-plat
V58mit
6 months ago
bindingsgtkgui
vue-input-streaming
A Vue2 Input Streaming RealTime And Two Way Data Binding Broadcasting with Pushe
JavaScript24mit
4 years ago
expresshacktoberfestinput
java-client
Java language binding for writing Appium Tests, conforms to W3C WebDriver Protoc
Java1221apache-2.0
5 days ago
androidappiumautomation
gbind
Bind data to any Go value. Can use built-in and custom expression binding capabi
Go8mit
2 years ago
bindcacheexpression
Ultimate-Xamarin-Forms-KIT
A powerful 🚀 Android/iOS chart view / graph view library, binding support for X
C#121
4 years ago
ocaml-cairo
Binding to Cairo, a 2D Vector Graphics Library.
OCaml54lgpl-3.0
last year
cairocairo-drawingdrawing
bindbc-harfbuzz
A configurable dynamic and static D binding to the HarfBuzz library which is com
D1bsl-1.0
3 years ago
vue-mobx
:smile: :star: :innocent: Mobx binding for Vuejs 2.
TypeScript110mit
7 years ago
mobxmobx-vuevuejs2
Xamarin.GradleBindings
VS add-in. Creates Xamarin.Android Binding Projects using gradle
C#146mit
7 years ago
android-bindingsgradlevisual-studio-extension
httpin
🍡 HTTP Input for Go - HTTP Request from/to Go Struct (Bi-directional Data Bindi
Go291mit
6 months ago
data-bindinggogo-api
rust-GSL
A GSL (the GNU Scientific Library) binding for Rust
Rust189
7 months ago
bindingsgslgsl-library
zstd-rs
A rust binding for the zstd compression library.
Rust484mit
5 months ago
compressionrust-bindingswrapper
SDL-Crystal-Bindings
Crystal binding generator for raw SDL methods
Crystal9mit
7 months ago
binding-generatorbindingssdl2
vuex-map-fields
Enable two-way data binding for form fields saved in a Vuex store
JavaScript1418mit
last year
hacktoberfest
icon-classifier
An Icon classifier made with TFLite Model Maker and deployed to Android with ML
Jupyter Notebook7
4 years ago
androidcomputer-visiondeep-learning
governator
Governator is a library of extensions and utilities that enhance Google Guice to
Java825apache-2.0
last year
crystal-fann
FANN (Fast Artifical Neural Network) binding in Crystal
Crystal84mit
3 years ago
crystalfannmachine-learning
sys-mount
High level FFI binding around the sys mount & umount2 calls, for Rust
Rust41mit
10 months ago
python-ucto
This is a Python binding to the tokenizer Ucto. Tokenisation is one of the first
Cython29
2 months ago
computational-linguisticsfolianlp
go-mxnet-predictor
go binding for mxnet c_predict_api to do inference with pre-trained model
Go55apache-2.0
6 years ago
cgodeep-learninggolang
qt
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD /
Go10333lgpl-3.0
9 months ago
androidasteroidoscross-platform-gui
magic-enter
Make your enter key magical by binding a Zsh command to it
Shell13mit
last year
zshzsh-plugin
react-native-arkit
React Native binding for iOS ARKit
Objective-C1725mit
2 years ago
arkitaugmented-realityios
backbone.iobind
Bind socket.io events to backbone models & collections. Also includes a drop-in
JavaScript582
5 years ago
vue-route-props
A plugin that can automatically bind Vue-router query to Vue instance.
JavaScript1mit
5 months ago
propsqueryroute
vuex-search
Vuex binding for client-side search with indexers and Web Workers :green_book::m
JavaScript163mit
2 years ago
indexsearchvue
go-mongox
A Go Mongo library based on the official MongoDB driver, featuring streamlined d
Go102apache-2.0
5 months ago
builderdatabasego
roxml
ROXML is a module for binding Ruby classes to XML. It supports custom mapping an
Ruby224mit
5 months ago
rux
⚡ Rux is an simple and fast web framework. support route group, param route bind
Go97mit
5 months ago
gohttp-handlerhttp-middleware
vue-countable
✍️ Vue binding for countable.js. Provides real-time paragraph, sentence, word, a
Vue26mit
5 years ago
characterscountcountable
laravel-form-components
A set of Blade components to rapidly build forms with Tailwind CSS (v1.0 and v2.
PHP814mit
10 months ago
bootstrapbootstrap-4bootstrap4
riverpod
A reactive caching and data-binding framework. Riverpod makes working with asy
Dart6019mit
4 months ago
dartflutterhacktoberfest
vibe
Vibe is a request library for V. It utilizes a libcurl binding to enable fast an
V26mit
6 months ago
curlhttplibcurl
gbdk-go
Experimental Go binding for GBDK(GameBoy Development Kit). You can develop GameB
Go21mit
3 years ago
gameboygbdevgbdk
aurelia-knockout
Adds support for Knockout binding syntax to make transition from Durandal and Kn
TypeScript22mit
2 years ago
aureliaaurelia-pluginscomposition
clang.cr
libclang bindings for crystal (including automatic C bindings generator)
Crystal47other
8 months ago
d3-template
D3 plugin to create and render templates using D3's data binding mechanism
JavaScript8bsd-3-clause
2 years ago
GtkD
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteir
D321other
5 months ago
gtfs-realtime-bindings
Language bindings generated from the GTFS Realtime protocol buffer spec for popu
Java374apache-2.0
5 months ago
gtk-sharp
Gtk# is a Mono/.NET binding to the cross platform Gtk+ GUI toolkit and the found
C#430other
2 years ago
bcrypt-ruby
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorith
C1919other
4 months ago
libsass-python
A straightforward binding of libsass for Python. Compile Sass/SCSS in Python wi
Python561mit
4 months ago
pythonsassscss
TensorFlow.Delphi
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for Ten
Pascal73apache-2.0
2 years ago
aideep-learningdelphi
minerva
Minerva: a fast and flexible tool for deep learning on multi-GPU. It provides nd
C++698other
6 years ago
bindbc-sdlgfx
Dynamic and static bindings to SDL2_gfx, compatible with -betterC, @nogc, and no
D1
5 years ago
Vortice.Windows
.NET bindings for Direct3D12, Direct3D11, WIC, Direct2D1, XInput, XAudio, X3DAud
C#979mit
4 months ago
direct3ddirect3d11direct3d12
SwiftyZeroMQ
ZeroMQ Swift Bindings for iOS, macOS, tvOS and watchOS
Swift63mit
6 years ago
iosmacosswift
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python15agpl-3.0
5 years ago
adabinding-generatorbindings
DerelictCL
Dynamic bindings to the OpenCL library for the D Programming Language.
D7bsl-1.0
5 years ago
pycoq
Python bindings for the Coq interactive proof assistant
OCaml50
3 years ago
coqmachine-learningpython
bootsharp
Compile C# solution into single-file ES module with auto-generated JavaScript bi
C#670mit
yesterday
buncodegencsharp