An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
47,133 repositories indexed
3,049–3,072 of 4,241 · Most stars
MicroPython implementation of the Homie MQTT convention for IoT.
- micropython
- mqtt
- iot
- homie
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Rendering algorithms implemented in WebGPU.
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
:chart_with_upwards_trend: Ember addon library for C3, a D3-based reusable chart library.
🔑 NaCl.Core, a cryptography library for .NET
- dotnet
- netstandard
- dotnet-core
- chacha20-poly1305
CodeBehind is a modern full-stack framework under ASP.NET Core. CodeBehind was developed by Elanat in 2023 and competes with Microsoft's default web frameworks (ASP.NET Core MVC and Razor Pages and Blazor). CodeBehind is an engineering masterpiece that simultaneously provides the possibility of development based on many patterns.
- aspx
- code
- code-behind
- dll
A real-time charting library for Vala and GTK4 based on Cairo
- vala
- vala-library
- charting-library
- cairo
Package dhcp6 implements a DHCPv6 server, as described in RFC 3315. MIT Licensed.
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Golang library for providing a canonical representation of email address.
- golang
- go
- normalization
NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.
- r
- neuroanatomy-toolbox
- cran
- neuron
Pure AS3 librairies for encode/decode ATF (Adobe Texture Format) files.
:clock3: Run periodic tasks in Crystal
- crystal
- cronjob
- schedule
- tasks
Syntax highlighting for html template literals in javascript (as in lit-html and polymer 3)
- vim
- lit-html
- syntax-highlighting
- polymer-3
Bring http://choosealicense.com to your terminal
Modbus Master library for MicroPython ESP32 devices. Based on pycom-modbus from pycom
A little (smart maybe) terminal plugin for neovim.
A library for placing labels in areas.
Time-Based One-Time Password (TOTP) and HMAC-Based One-Time Password (HOTP) library for Go.
- hotp
- totp
- totp-codes
- authenticator
MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.
- python3
- pyqt5
- gplv3
- irc-client
A 3D collision detection library for Lua.
Headless Chrome DevTools Protocol Client (RxJava3 + Kotlin)
- remote-control
- chrome-browser
- chrome
- remote