Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Repository Index
47,133 repositories indexed
361–384 of 521 · Most stars
The repository host gives no description.
⚡️ Capacitor plugin for synthesizing speech from text.
HomeMatic CCU Addon implementing a xml request functionality
- homematic
- smarthome
- ccu
- raspberrymatic
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.
Convert the dependencies in `build.zig.zon` to a Nix expression [maintainer=@figsoda]
- build
- nix
- vendor
- zig
An SDLang (Simple Declarative Language) library for D
GoThanks automatically stars Go's official repository and your go.mod github dependencies, providing a simple way to say thanks to the maintainers of the modules you use and the contributors of Go itself.
- go
- golang
- thanks
- open-source
Library for lexing and parsing D source code
Bring the Func(🕺)
📧 Service to assist with sending emails from Vapor apps
- swift
- vapor-swift
- vapor-3
YAML parser and emitter for the D programming language
- yaml
- parser
- emitter
- dlang
Internationalization package for Meteor with React integration.
- i18n
- internationalization
- translation
- hacktoberfest
Spin aims to provide a versatile Feedback Loop implementation working with the three main reactive frameworks available in the Swift community (RxSwift, ReactiveSwift and Combine)
- feedback-loop
- reactive-frameworks
- swift
- spin
Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Facebook Login support
Rails engine providing access to files in cloud storage
- core-components
- samvera-community
Containers backed by std.experimental.allocator
- d
- containers
- data-structures
- double-linked-list
Repository to receive incoming issues, feedback, and feature request from Blazority community
Simple and flexible HTTP client for Crystal with middleware and test support.
- crystal
- middleware
Router Driver built for Cycle.js
MIT-licensed Flutter workspace for notes, tasks, journals, cloud files and research. Bring your own services.
PowerDNS API client for Go (community project)
- powerdns
- go