A Python port of Software Automatic Mouth Text-To-Speech program.
Repository Index
47,133 repositories indexed
20,473–20,496 of 21,966 · Most stars
Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
- ai-agents
- prediction-markets
- starter-template
- trading-bot
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.
- cli
- getopt
- gnu
- go
The repository host gives no description.
Evernote API client for Elixir
Generic Equality and Comparison for Common Lisp http://cdr.eurolisp.org/document/8/index.html
Dark only theme for Neovim with treesitter support
- nvim
- nvim-lua
- nvim-plugin
- nvim-theme
The repository host gives no description.
Simple golang library for http requests
- golang
- golang-package
- http-client
- http-requests
A utility package for Cloudflare workers
- worker
- cloudflare-worker
Write Clarity smart contracts using any programing language.
- clarity
- stacks
- stacksjs
- bitcoin-ai
NetLytics is a Hadoop-powered framework for performing advanced analytics on various kinds of networks logs
Yield farming opportunity for Golem's GLM token holders. (By staking uniswap-LP tokens that is a pair between GLM and ETH into the stake pool)
- golem
- solidity
- truffle
- web3js
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
The repository host gives no description.
MicroPython examples using YS-RF34T 433MHz ASK/OOK UART transceivers
- micropython
- ys-rf34t
- uart
- esp32
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
This bundle can help you to deserialize incoming request parameters from symfomy http request object to your DTO objects. This is a better alternative for new symfony request DTO resolvers.
- bundle
- php
- symfony
- symfony-bundle
Playing around with swift playground by implementing different image filter algorithms
- swift
- image-processing
Helios EasyControls modbus tcp to mqtt-smarthome daemon