repositories with Idris
Displaying 1-2 of 2 total results

ekzhang/aoc21-alpha

Advent of Code 2021 in 25 different languages, alphabet soup edition

algorithms polyglot advent-of-code programming-languages competitive-programming advent-of-code-2021 alphabet-soup

13
0
0
0
0
almost 4 years ago

mbund/exemplary

average 10x developer 🚀

language memes ci

4
0
0
0
0
2 days ago