| CatalaLang/catala |
1,872 |
|
0 |
1 |
about 2 years ago |
6 |
December 01, 2023 |
69 |
apache-2.0 |
OCaml |
| Programming language for literate programming law specification |
| pkrumins/the-reasoned-schemer |
39 |
|
0 |
0 |
about 16 years ago |
0 |
|
0 |
|
Scheme |
| All the logic programming code examples from the book "The Reasoned Schemer" |
| ADGEfficiency/programming-resources |
38 |
|
0 |
0 |
about 2 years ago |
0 |
|
2 |
|
Python |
| A collection of programming and computation resources. |
| sam09/zipf |
14 |
|
0 |
0 |
over 10 years ago |
0 |
|
0 |
|
Python |
| An attempt at verifying Zipf's law for programming languages |
| shreyasdube/fitbit-hack |
6 |
|
0 |
0 |
over 11 years ago |
0 |
|
1 |
|
Java |
| Use this to quickly rack up steps through the magic of programming (without going outside ever, or involving any laws of physics) |
