A library for writing HTML in plain Crystal.
Repository Index
47,133 repositories indexed
4,081–4,104 of 4,816 · Most stars
Public release of the DeepPhe analytic software
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Web extension to Save tweets in a verifiable way to IPFS
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Magento 2 module providing a compliant EU withdrawal button required from June 19, 2026 (§356a BGB / Directive (EU) 2023/2673). Enables customers and guests to revoke orders via a simple form (name, order number, email), sends automatic confirmation emails, and allows admin management in the backend.
This is the Yammer adapter for hubot that allows you to send a message to him with Yammer and he will happily reply the same way.
- hubot-adapter
Python library that implements DVB protocols for companion synchronisation
- dvb
- dvb-css
- media-synchronisation
- python
Control a Waveshare 7.5" E-INK display using an ESP32 running MicroPython
- micropython
- e-ink
- esp32
- waveshare-eink
Cross-file drift checker. Keeps code, configs, and docs in sync deterministically. Supports 35+ languages.
A trivial way to get a native Common Lisp environment on Windows
Adapter for a dropwizard appication (v0.8) so that it can be deployed as a war on a servlet 3 container
Ada support for OpenAPI code generator
Examples of scripts for accounts, dApps and assets using RIDE programming language.
- ride
- smart-contracts
- dapp-example
- dapp
video packaging to *.m3u8 for HLS (HTTP Live Streaming) with FFMPEG on website (ruby on rails)
A V module to use multi-layer neural networks. Includes backpropagation but you can train them the way you want. If you have any questions or suggestions I'd be happy to read them !
Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.
- java
- nvim
- plugin
Gateway between a Philips Hue bridge and MQTT :bulb:
Scout is a standalone open source software solution for DIY video security.
Arli is the command line tool, that's both — the Arduino Library manager that's decoupled from any IDE, as well a project generator based on "arduino-cmake". By coupling dependency management with CMake-based build system, Arli provides an easy way to package, share, and distribute complex Arduino projects.
A job scheduler for Go with the ability to fast-forward time.
- golang
- go
Software Transactional Locks
Build and sign(multi-sign) transactions for Waves blockchain.
The soil mate app provides a simple and convenient way to collect soil data at sample locations in the field. The Soil Mate app is targeted across multiple industries, including agriculture, environmental science, geology, and mining. The current version of the app collects soil texture data.
- soil
- soil-science
- soil-properties
- soil-mapping