High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Repository Index
47,133 repositories indexed
865–888 of 1,361 · Most stars
A rust library to provide a virtual utun interface to Tor
Dependency injection for modular web applications
- dependency-injection
- ioc
- javascript
- typescript
ZoneTree.FullTextSearch is an open-source library that extends ZoneTree to provide efficient full-text search capabilities. It offers a fast, embedded search engine suitable for applications that require high performance and do not rely on external databases.
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
- mathematical-modelling
- automatic-differentiation
- mathematics
- math
Xferspdy provides binary diff and patch library in golang. [Mentioned in Awesome Go, https://github.com/avelino/awesome-go]
- fingerprint-generation
- diff
- golang
WordPress alike slug interface for Directus 9
- directus
- directus-extension
- directus-custom-interface
- permalink
The opposite of Ruler, provides blue teams with the ability to detect Ruler usage against Exchange.
Yume is an addon for the Godot game engine that provides an integrated editor for creating visual novel games.
Convert Haskell source code to Coq source code.
- coq
- haskell
Jupyter kernel for Coq
*BeaqleJS* provides a framework to create browser based listening tests and is purely based on open web standards like HTML5 and Javascript.
A luau-lsp extension to improve your experience in neovim.
Enhances the display of virtual text for diagnostics in Neovim. This function aims to provide a more user-friendly and informative presentation of diagnostic messages directly within the editor.
OpenIG is an open-source identity gateway (reverse-proxy) that secures, routes, and manages web traffic. It enables authentication, access control, and integration with identity providers, delivering single sign-on and API security for web and cloud applications.
- sso
- reverse-proxy
- rewrite
- openam
Type provider library for Idris
This package provides a framework for writing validations for Go applications.
- gobuffalo
- pop
- validation
- models
Neovim Lua plugin to improve register handling with delete, cut and yank mappings.
The FSharp.Management project contains various type providers for the management of the machine.
GoFreeDB is a Golang library that provides common and simple database abstractions on top of Google Sheets.
- database
- golang
- google-sheets-api
- google-sheets-api-v4
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A plugin that provides i18n support.
The NuGet package that provides post published processing to deploy the ASP.NET Core SPA project (such as Blazor WebAssembly) as a GitHub pages site.
- blazor
- blazor-webassembly
- github-pages
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