Mini prototype of FG/FGG/FGR in Go.
☆98Jun 4, 2021Updated 4 years ago
Alternatives and similar repositories for fgg
Users that are interested in fgg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gong liveness and channel safety checker☆31Dec 1, 2017Updated 8 years ago
- The research project based on the draft design of Go Generics☆34Oct 10, 2021Updated 4 years ago
- Library: Code generator☆17Jun 21, 2021Updated 4 years ago
- A small SAT solver in Go☆23Dec 27, 2020Updated 5 years ago
- ☆27Mar 19, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Test suite for implementations of Featherweight Generic Go☆35Aug 18, 2020Updated 5 years ago
- MiGo types library in Go☆11Apr 18, 2020Updated 5 years ago
- A go tool to auto-generate methods for enum types based on string.☆13Oct 7, 2020Updated 5 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- An x86-64 assembler written in Go (2019). A modern version (2025) is currently in development at the link below:☆96Aug 10, 2022Updated 3 years ago
- A Go API for perf_event_open☆27Jul 3, 2024Updated last year
- Command line interface library in Idris☆34Jul 26, 2024Updated last year
- ☆27Feb 4, 2020Updated 6 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- sketches for the Go 2 Type Parameters proposal☆34Sep 21, 2023Updated 2 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- CDB library for Go with memory map and 64b support.☆53Feb 21, 2026Updated last month
- Ferret is a search engine that unifies search results from Github, Slack, Trello and more☆29Feb 25, 2017Updated 9 years ago
- Packs the assets for your web server.☆20Dec 4, 2019Updated 6 years ago
- Airbloc Core Implementation using Go☆27May 5, 2023Updated 2 years ago
- Common libseccomp container code written in Go☆14Aug 28, 2020Updated 5 years ago
- Vecty + three.js = ♡☆11Aug 26, 2018Updated 7 years ago
- Vugu+Tinygo example☆16Jun 20, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- alternative condition variable synchronization primitive☆33Nov 17, 2024Updated last year
- Pure Go implementation of BLAKE3 with AVX2 and SSE4.1 acceleration☆465Apr 2, 2025Updated 11 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Jan 1, 2017Updated 9 years ago
- Toy answer to http://dave.cheney.net/2015/06/05/friday-pop-quiz-the-smallest-buffer☆13Aug 31, 2021Updated 4 years ago
- A refactoring tool for Go☆681Jan 29, 2026Updated last month
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 3 weeks ago
- osm file parser in golang☆13Mar 16, 2017Updated 9 years ago
- Go driven rpc code generation tool for right now.☆877Aug 16, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Apr 3, 2017Updated 8 years ago
- Toy Lisp 1.5 interpreter☆991Nov 17, 2024Updated last year
- Selected Go-internal packages factored out from the standard library☆965Apr 10, 2025Updated 11 months ago
- Matroska/WebM parsing for the Go Programming Language☆24Jun 20, 2018Updated 7 years ago
- An efficient JSON decoder☆430Nov 2, 2023Updated 2 years ago
- Platform-agnostic alternative to TT Dynamic Range Meter for measuring dynamic range of music.☆19Jun 3, 2018Updated 7 years ago
- Golang bindings for fastpbkdf2☆16Aug 23, 2015Updated 10 years ago