Coq library on rewriting theory and termination
Repository Index
72,362 visible repositories in the index
25–35 of 35 · Most stars
Generates Blazor -> Javascript strongly typed interop methods.
CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀
- cgo
- golang
- deep-learning
- gradient-boosting
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
Ada finite-state machine generator.
POSIX Ada Bindings.
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
This is a demo WASM Blazor application. You can test regular C# expressions in your browser.
- netcore
- blazor
- blazor-webassembly
Ada bindings of Turbo Pascal 7.0 units with GTKAda.