A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Repository Index
47,133 repositories indexed
121–144 of 240 · Most stars
macOS native desktop Software Defined Radio app
Navigate to variable's definition with a click in JupyterLab (or with a few key strokes)
- jupyterlab
- jupyterlab-extension
- go-to-definition
- ide-features
A Meteor package: Replace already defined templates, inherit helpers and events from other templates
⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓
- awesome
- awesome-list
- algorand
- algorand-blockchain
Static recompilation of Xenoblade Chronicles X : Definitive Edition to native Windows x86-64, with a Vulkan renderer. Game files not included.
std::tuple like methods for user defined types without any macro or boilerplate code
Elixir library that provides macros which allow you to encapsulate business logic and validate incoming parameters with predefined contract.
- elixir
- coercion
- ddd
- operation-invocation
Image slide-show viewer with multiple predefined transition styles, with ability to create new transitions with ease.
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
- bindings
- language-server
- lsp
- lsp-server
BatchFlow helps you conveniently work with random or sequential batches of your data and define data processing and machine learning workflows even for datasets that do not fit into memory.
- python3
- data-science
- machine-learning
- python
Mailman provides a clean way of defining mailers in your Elixir applications
- elixir
- sending
gRPC Network Operations Interface (gNOI) defines a set of gRPC-based microservices for executing operational commands on network devices.
An expansible unit conversion library for .NET: exact definitions, synonym-based unit names and no dependencies.
- unit-conversion
- csharp
- nuget
- nuget-package
collection of C/C++ programs that try to get compilers to exploit undefined behavior
Some help defining GraphQL schema around BookshelfJS models
Rewrite Gravity Defied mobile game from Java to C++ & SDL
- gravity-defied
- cpp
- sdl
- sdl2
Port of hamcrest to ActionScript 3, a library of matcher objects (also known as constraints or predicates) allowing 'match' rules to be defined declaratively, to be used in other frameworks. Typical scenarios include testing frameworks, mocking libraries and UI validation rules.
textmode.js is a lightweight creative coding library for creating real-time ASCII art on the web.
- ascii
- canvas
- petscii
- textmode
RGBDS include file for Game Boy hardware definitions
- rgbds
- game-boy-development
- hardware
Build autonomous AI agents that interact with blockchains — in minutes, not months.
A starter kit for working with the Aurelia TypeScript type definitions
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
💸 Crypto Payments straight to your wallet. DePay simplifies Web3 integration for developers, harnessing DeFi to accept any token effortlessly. Integrate frictionless, real-time token conversion with sleek, customizable widgets designed for seamless user experience.
- blockchain
- payment
- widgets
- react