| idris-lang/Idris-dev |
3,382 |
|
10 |
0 |
over 2 years ago |
71 |
October 22, 2021 |
708 |
other |
Haskell |
| A Dependently Typed Functional Programming Language |
| django-wiki/django-wiki |
1,747 |
|
55 |
0 |
about 2 years ago |
65 |
May 15, 2023 |
44 |
gpl-3.0 |
Python |
| A wiki system with complex functionality for simple integration and a superb interface. Store your knowledge with style: Use django models. |
| Froxlor/Froxlor |
1,568 |
|
0 |
0 |
about 2 years ago |
80 |
December 10, 2023 |
36 |
gpl-2.0 |
PHP |
| The server administration software for your needs - The official Froxlor development Git repository |
| simulationcraft/simc |
1,302 |
|
0 |
0 |
about 2 years ago |
0 |
|
53 |
gpl-3.0 |
C++ |
| Simulationcraft engine/GUI |
| xiph/daala |
485 |
|
0 |
0 |
over 5 years ago |
0 |
|
104 |
bsd-2-clause |
C |
| Modern video compression for the internet |
| Tillerino/Tillerinobot |
329 |
|
0 |
0 |
about 2 years ago |
0 |
|
13 |
|
Java |
| T4P4N/Awesome-Termux |
277 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
cc-by-sa-4.0 |
|
| Awesome Termux :- Bash Scripts, Wiki, Articles,Shells & Many More... |
| happycube/ld-decode |
260 |
|
0 |
0 |
about 2 years ago |
0 |
|
53 |
gpl-3.0 |
Jupyter Notebook |
| Software defined LaserDisc decoder |
| huggle/huggle3-qt-lx |
171 |
|
0 |
0 |
about 2 years ago |
0 |
|
21 |
gpl-3.0 |
C++ |
| Huggle is an anti-vandalism tool for use on MediaWiki based projects |
| liballeg/allegro_wiki |
42 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
|
|
| Source for Allegro's Github wiki. |
