Mini prototype of FG/FGG/FGR in Go.
☆99Jun 4, 2021Updated 5 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☆32Dec 1, 2017Updated 8 years ago
- The research project based on the draft design of Go Generics☆34Oct 10, 2021Updated 5 years ago
- A small SAT solver in Go☆23Dec 27, 2020Updated 5 years ago
- Test suite for implementations of Featherweight Generic Go☆35Aug 18, 2020Updated 6 years ago
- MiGo types library in Go☆11Apr 18, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- a very simple, tiny and intuitive ffmpeg wrapper with a cli interface for inspecting & transforming media files supported by the original…☆13Jul 8, 2024Updated 2 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- A Go API for perf_event_open☆26Jul 3, 2024Updated 2 years ago
- A Haskell library to mock the current time. ⏰☆19May 1, 2018Updated 8 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 4 years ago
- ☆26Mar 19, 2022Updated 4 years ago
- sketches for the Go 2 Type Parameters proposal☆33Sep 21, 2023Updated 3 years ago
- Common libseccomp container code written in Go☆14Aug 28, 2020Updated 6 years ago
- ☆27Feb 4, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Aug 6, 2023Updated 3 years ago
- [DEPRECATED] Cross-platform Go(lang) library for determining the path to the executable of the running process☆14May 15, 2014Updated 12 years ago
- A hobby implementation of an ncurses binding for Idris 2☆17Dec 9, 2024Updated last year
- symbolic reachability checker☆23Sep 23, 2021Updated 5 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- Airbloc Core Implementation using Go☆27May 5, 2023Updated 3 years ago
- Within's Discord Bot☆18Apr 19, 2023Updated 3 years ago
- Command line interface library in Idris☆35Jul 26, 2024Updated 2 years ago
- Ferret is a search engine that unifies search results from Github, Slack, Trello and more☆29Feb 25, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Succeeded by https://github.com/yomaytk/elfconv☆37Oct 25, 2023Updated 3 years ago
- A refactoring tool for Go☆694Jul 10, 2026Updated 3 months ago
- Packs the assets for your web server.☆20Dec 4, 2019Updated 6 years ago
- A refined tool for exploring open-source projects on GitHub with a file tree, rich Markdown and image previews, multi-pane multi-tab layo…☆24Jun 15, 2021Updated 5 years ago
- Work space for golang.org/x/perf version 2☆20Nov 14, 2020Updated 5 years ago
- A multi-version, sorted key-value data store☆12Oct 8, 2014Updated 12 years ago
- A library that provides simple TLS SNI demultiplexing without actually consuming the SSL handshake.☆23Feb 7, 2016Updated 10 years ago
- Toy answer to http://dave.cheney.net/2015/06/05/friday-pop-quiz-the-smallest-buffer☆13Aug 31, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ok, run your gofile☆16Oct 6, 2014Updated 12 years ago
- discohash☆15Oct 30, 2021Updated 5 years ago
- Package i18n provides an Internationalization and Localization middleware for Macaron applications☆12Nov 30, 2020Updated 5 years ago
- Toy Lisp 1.5 interpreter☆1,003Oct 11, 2026Updated 3 weeks ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Vugu+Tinygo example☆16Jun 20, 2020Updated 6 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Jan 1, 2017Updated 9 years ago