Stars
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Columbus240 / riscv-coq
Forked from mit-plv/riscv-coqRISC-V Specification in Coq
A place to collect work on dialectica categories.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
A curated set of links to formal methods involving provable code.
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Lean 4 programming language and theorem prover
Archived since the contents have been moved to the topology repository
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Lean 3's obsolete mathematical components library: please use mathlib4
Extensions for the .NET Core CLI which help packaging and publishing .NET Core applications
The main purpose of the toolkit is to accelerate the creation and development of MVVM applications in Xamarin.Android, Xamarin.iOS, Xamarin.Forms, Windows 10 UWP, Windows Presentation Foundation (W…
Keras Implementation of Neural Style Transfer from the paper "A Neural Algorithm of Artistic Style" (http://arxiv.org/abs/1508.06576) in Keras 2.0+
Free and Open Source, Distributed, RESTful Search Engine
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…
Keras implementation of Deep Convolutional Generative Adversarial Networks