A fast ISO8601 date parser for Go
- go
- golang
- parser
- iso8601
Repository Index
59,132 visible repositories in the index
35,065–35,088 of 53,653 · Most stars
A ClojureScript visual library
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Document management for small businesses.
- dms
- documents
- documents-management
- documents-manager
Communication between Coq and SAT/SMT solvers
Asyncable store for Svelte 3 which is store a value as promise.
Converts output of various profiling/sampling tools to the .cpuprofile format so it can be loaded into Chrome DevTools.
TranslatedPassword generation tool: flexible and scriptable password dictionary generator which can support brute-force, combination, complex rule mode etc...
- password-generator
- password-dictionaries
- wordlist-generator
- brute-force
Go client for wit.ai HTTP API
- go
- nlu
- wit
:mortar_board: Learn to test your code
PHP session encoder/decoder written in Go
thin layer over native 'vim.pack`, adding support for lazy-loading and lazy.nvim specs
- neovim
- neovim-plugin
- neovim-plugin-lua
- neovim-plugins
A secure and easy-to-use store for your production secrets
Point your iPhone at your Mac and the cursor follows. Tap to click, hold to drag. Bluetooth only, open source.
Contains the slides and examples for my "More Modern CMake" and "Oh No! More Modern CMake" talks from "Meeting C++" 2018 and 2019
Composable query builder for Ecto
- elixir
- phoenix
- composable-queries
A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
- cryptography
- rust
- proxy-re-encryption
- transform-encryption
Original modules from nvim-treesitter master branch
Manage your Redis instance (see keys, memory used, connected client, etc...)
- redis
- rails-redis
- redis-client
- redis-monitor
A lightweight templating system for generating random data
TranslatedAd-free DLNA / UPnP cast receiver for Android TV
High-performance configuration management framework for Go applications with zero-allocation performance, universal format support (JSON, YAML, TOML, HCL, INI, Properties), and an ultra-fast CLI powered by Orpheus.
- configuration-management
- go
- hcl
- high-performance
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction