Repository Index

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

• coq
• coq-art
• exercises
• docker-coq-action

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery

TranslatedMedia player for Windows, LG webOS, Android TV and Android: movies and TV series from TorrServer.

• torrent-streaming
• open-movie-player
• android
• android-tv-apps

An Autocomplete edit handler for selecting Pages, Snippets, and more.

:ram: Lisp that compiles to JavaScript in the Ramda way

• lisp
• ramda
• functional
• s-expression

Provide mongodb access service to play.db.Model via Morphia

A curated collection of papers and resources on voice agents, from spoken interaction to autonomous task execution.

Aegis Skin Terminal: local-first CS2 trading workspace with a fee-aware spread scanner, vault workspace and offline Steam Guard codes.

• counter-strike
• cs2
• desktop-app
• react

A curated list of useful xcode scripts 📝 .

• xcode-scripts
• xcode
• semantic
• auto-increment

Use Neovim as the default code editor for Unity — with .csproj generation, OmniSharp support and LSP-ready workflow.

• neovim-unity-plugin-external-editor-omnisharp

Read csv file from go using tags

• go
• csv
• tags
• hacktoberfest

Stream encryption & decryption with libsodium and protobuf

• crypto
• cryptography
• protobuf
• libsodium

The repository host gives no description.

⚡️ Capacitor plugin for synthesizing speech from text.

• tts
• text-to-speech
• capacitor
• capacitor-plugin

IPAM Tutorials on Theano/Torch

Simple JMeter performance tests API for python

• automation
• java
• jmeter
• load-testing

Display pokemon nearby to your location on a map.

Friendly utility to load your on-prem data, whether large or small, to Einstein Analytics Datasets, with useful features such as autoloading, dataflow control and dataset inspection.

Offline usage for Ember Data, based on localstorage adapter, but now uses Mozilla's localforage as data source

🧸 Xcode Playground management made easy

Golang Mongodb Pagination for official mongodb/mongo-go-driver package which supports both normal queries and Aggregation pipelines with all information like Total records, Page, Per Page, Previous, Next, Total Page and query results.

• go-mongo
• mongo-go-pagination
• mongo-go-driver
• mongo-pagination

Goblet is an easy-to-use framework that enables developers to quickly spin up fully featured REST APIs with python on GCP

• python
• gcp
• api-gateway
• cloudfunctions

graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It accelerates the development for both the client and the server, by generating the Java code. It allows a quicker development when in contract-first approach, by avoiding to code the boilerplate code.

Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM

• clojure
• computer-vision
• kotlin
• opencv