Sign in

Repository Index

47,133 repositories indexed

Tags: Lists and learning
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–35 of 35 · Most stars

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.

  • generic
  • golang
  • graph
  • graph-algorithms

(THIS IS THE PUBLIC VERSION) Muse-by-Meta usage audit companion designed for those who want to understand Muse’s actions during a multi-step task without pretending to have telemetry they can’t actually access.Check out Muse, your personal AI agent. Code: 5F2V31 https://muse.ai/join

  • meta
  • metaai
  • metaai-api
  • metaai-download

Provide check digit algorithms and calculators written in Go

  • checkdigit
  • luhn
  • damm
  • verhoeff

A feature-packed, ready-to-use CMake template with testing, static and dynamic checks, coverage reports, and a tutorial.