|
|
Go |
31 |
The Tao Programming Language. |
Apr 13, 2023 |
|
|
Lean |
13 |
Programming Language Foundations in Lean |
Apr 20, 2023 |
|
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
|
None |
8 |
The Tao of Programming by Geoffrey James |
Aug 16, 2022 |
|
|
TeX |
5 |
Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored … |
Jan 12, 2023 |
|
|
JavaScript |
4 |
A textbooks downloader for the China's textbooks. |
Feb 12, 2023 |
|
|
Lean |
2 |
A field guide to the operators and keywords of the Lean 4 functional programming language. |
Jan 07, 2023 |
|
|
JavaScript |
6 |
Functional Programming in Lean |
May 28, 2023 |
|
|
Ruby |
2 |
Conversion to Ruby of the examples in the book Language Implementation Patterns by Terence Parr |
Dec 13, 2020 |
|
|
Ruby |
342 |
The Tao of Unix Programming (Ruby-powered ANSI colored fortunes) |
Aug 31, 2022 |
|
|
C |
2 |
My take on exercises from various programming textbooks. |
Jul 31, 2018 |
|
|
JavaScript |
2 |
An Atom package for the Lean language |
Sep 12, 2019 |
|
|
None |
2 |
A TextMate bundle for the Lean language |
Jul 04, 2023 |
|
|
C |
2 |
C source codes and textbooks for language education |
Feb 06, 2023 |
|
|
JavaScript |
2 |
A highlight.js language grammar for the Lean theorem proving language. |
Oct 10, 2021 |
|
|
Lean |
7 |
The Advent of Code programming puzzles in Lean |
Jan 16, 2022 |
|
|
V |
2 |
Lean micro-benchmarking framework for the V language |
Oct 15, 2021 |
|
|
Kotlin |
7 |
A lean programming language, designed from the ground up to be embedded into anything and … |
Apr 16, 2022 |
|
|
JavaScript |
6 |
MOVED: https://lifeitself.org/tao. ☯️ The Tao of Life Itself |
Jan 17, 2023 |
|
|
None |
18 |
The Tao of the IETF |
Mar 28, 2023 |
|
|
C |
2 |
The programming language |
Jul 07, 2015 |
|
|
C++ |
4 |
The Programming Language |
Mar 26, 2023 |
|
|
C |
37 |
A programming language based upon the lua programming language |
Jan 28, 2023 |
|
|
Lean |
2 |
A small programming language formally defined with a series of blog posts and Lean code. |
Jul 25, 2022 |
|
|
None |
20 |
A book about functional programming in Lean |
Aug 08, 2022 |
|
|
Lean |
32 |
Very controlled natural language tactics for Lean |
Jul 12, 2022 |
|
|
C |
4 |
The Ced Programming Language |
Apr 20, 2022 |
|
|
C# |
4 |
The Foxy programming language |
Apr 26, 2022 |
|
|
None |
4 |
The Go programming language |
Feb 06, 2022 |
|
|
C |
4 |
The taxi programming language |
May 13, 2022 |
|
|
JavaScript |
4 |
The DreamScript Programming Language |
Apr 13, 2022 |
|
|
None |
4 |
The Python programming language |
Oct 25, 2021 |
|
|
None |
4 |
The Wall programming language |
Nov 21, 2020 |
|
|
Python |
4 |
The Python programming language |
Dec 13, 2021 |
|
|
C++ |
4 |
The Swift Programming Language |
Dec 17, 2021 |
|
|
Haskell |
4 |
The Tidy programming language |
Jan 15, 2022 |
|
|
None |
5 |
The Val Programming Language |
Jun 18, 2022 |
|
|
Python |
5 |
The shitty programming language. |
Jun 19, 2022 |
|
|
C |
5 |
the kyanite programming language |
Aug 19, 2021 |
|
|
C++ |
5 |
The Orrery Programming Language |
Jun 23, 2018 |
|
|
Scala |
5 |
The Scala programming language |
Apr 08, 2021 |
|
|
C++ |
5 |
The Swift Programming Language |
May 03, 2022 |
|
|
Python |
5 |
The Python programming language |
Jul 22, 2022 |
|
|
Go |
5 |
The Pi Programming Language |
Aug 31, 2022 |
|
|
C++ |
5 |
The programming language EGA |
Jul 04, 2022 |
|
|
Python |
6 |
The Talon programming language |
May 31, 2022 |
|
|
JavaScript |
6 |
The hilvl programming language |
Oct 06, 2021 |
|
|
Java |
6 |
The Clojure programming language |
Dec 01, 2014 |
|
|
Python |
7 |
The Python programming language |
Jun 26, 2022 |
|
|
C |
7 |
The Sunder Programming Language |
Jul 06, 2022 |