Cogito Ergo Sum's Projects
Formalization of a bunch of properties of Godel's System T in agda
Code Generation for Functional Programming, Concurrency and Generics in Golang
Go Path Tool: A utility for working with Go and filesystem paths.
redis client implement by golang, inspired by jedis.
Probability distributions and associated methods in Go
A dynamic DNS client tool supports AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost, etc, written in Go.
A Chrome extension for golang users.When you're at golang's official doc site, it will show function's description as tooltip on function list
Cucumber for golang
Godot Engine – Multi-platform 2D and 3D game engine
Quick summary for beginners.
Unknown-Horizons Godot Engine Port
Rust bindings for GDNative
A Go port of Ruby's dotenv library (Loads environment variables from `.env`.)
Common libraries for writing Go services/applications.
GoDS (Go Data Structures). Containers (Sets, Lists, Stacks, Maps, Trees), Sets (HashSet, TreeSet, LinkedHashSet), Lists (ArrayList, SinglyLinkedList, DoublyLinkedList), Stacks (LinkedListStack, ArrayStack), Maps (HashMap, TreeMap, HashBidiMap, TreeBidiMap, LinkedHashMap), Trees (RedBlackTree, AVLTree, BTree, BinaryHeap), Comparators, Iterators, Enumerables, Sort, JSON
An unofficial Google Cloud Platform Go Datastore wrapper that adds caching using memcached. For App Engine Flexible, Compute Engine, Kubernetes Engine, and more.
:balloon: A lightweight struct validator for Go
GO Implementation of Entropy Measures
A library to interact with Elasticsearch in Go!
A sanitization-based swear filter for Go.
Random fake data generator written in go
fractional api base on golang . golang math tools fractional molecular denominator 分数计算 分子 分母 运算
Testing API Handler written in Golang.
Go configuration made easy!
Emacs flymake-mode for golang
Go bindings for ForestDB
Go Sql Server database driver.
Fuzz testing for go.
Golang Genetic Algorithm
High-level, extensible Haskell interface to Web APIs.