|
|
Vim script |
3 |
vim utilities for koka language https://github.com/koka-lang/koka |
May 22, 2021 |
|
|
None |
2 |
Koka language compiler and interpreter |
Jul 29, 2021 |
|
|
Haskell |
2572 |
Koka language compiler and interpreter |
May 02, 2023 |
|
|
Scala |
7 |
A small functional language with effect inference based on Koka. |
Dec 14, 2019 |
|
|
C |
3 |
Mutable Swisstable for Koka. |
Oct 12, 2022 |
|
|
JavaScript |
3 |
An extension for VS Code which provides support for the Koka language. |
May 01, 2021 |
|
|
Python |
9 |
Purely functional data structures in Koka |
May 20, 2023 |
|
|
None |
2 |
web pages |
Apr 12, 2014 |
|
|
HTML |
14 |
Web Pages |
Dec 14, 2022 |
|
|
HTML |
7 |
Web pages |
Aug 16, 2022 |
|
|
None |
2 |
Web pages |
Feb 26, 2023 |
|
|
Nunjucks |
4 |
ravynos.com web pages |
Jun 05, 2022 |
|
|
PHP |
3 |
WinMerge.org web pages. |
Mar 22, 2023 |
|
|
Vue |
2 |
spec.edmcouncil.org web pages |
May 30, 2022 |
|
|
HTML |
2 |
Web Github Pages |
Aug 10, 2022 |
|
|
HTML |
3 |
Stackmate Web Pages |
Jun 21, 2022 |
|
|
None |
3 |
Static web pages |
May 24, 2022 |
|
|
HTML |
15 |
QuTiP web pages |
Nov 20, 2021 |
|
|
HTML |
17 |
Qalculate! web pages |
Jul 13, 2022 |
|
|
HTML |
47 |
EdgeTX Web pages |
Jul 10, 2022 |
|
|
HTML |
2 |
github web pages |
Oct 21, 2022 |
|
|
HTML |
2 |
Mixed web pages |
Oct 03, 2016 |
|
|
CSS |
6 |
NASM web pages |
Dec 29, 2022 |
|
|
HTML |
3 |
Conquest web pages |
Dec 14, 2022 |
|
|
HTML |
2 |
GitHub Web Pages |
Jul 06, 2022 |
|
|
PHP |
2 |
Weimarnetz web pages |
Jan 28, 2023 |
|
|
PHP |
4 |
download web pages |
Nov 03, 2022 |
|
|
CSS |
7 |
SPDK organization web pages |
Jan 10, 2022 |
|
|
HTML |
9 |
📚 NeoMutt web pages |
Jul 04, 2022 |
|
|
HTML |
13 |
CommonMark spec web pages |
Aug 09, 2022 |
|
|
JavaScript |
2 |
Visually diff web pages |
Mar 06, 2023 |
|
|
Python |
2 |
OSG Operations Web Pages |
Jan 07, 2022 |
|
|
Python |
2 |
Record & replay web pages |
Dec 21, 2019 |
|
|
Python |
2 |
Nipy community web pages |
Dec 07, 2013 |
|
|
HTML |
2 |
The Astropy web pages |
Jul 20, 2022 |
|
|
HTML |
32 |
Web Assembly WG pages |
Aug 11, 2022 |
|
|
HTML |
33 |
The Astropy web pages |
Jul 05, 2022 |
|
|
CSS |
2 |
Making some web pages |
Oct 03, 2022 |
|
|
None |
3 |
Web pages for gsocket.io |
Oct 15, 2022 |
|
|
HTML |
2 |
Web pages for Openwsman |
Aug 17, 2019 |
|
|
CSS |
8 |
OpenRocket web pages (beta) |
Sep 14, 2022 |
|
|
CSS |
2 |
Web Pages and Blog |
Feb 07, 2023 |
|
|
None |
4 |
Web pages for www.colemak.org |
Apr 05, 2023 |
|
|
HTML |
3 |
:tada: my web pages |
Jul 15, 2022 |
|
|
HTML |
5 |
Web pages for perscon.net |
Mar 09, 2015 |
|
|
CSS |
2 |
NFO Viewer web pages |
Sep 24, 2023 |
|
|
HTML |
2 |
quick movers web pages |
Jan 02, 2023 |
|
|
JavaScript |
2 |
"PagePal" is a web extension that uses natural language processing (NLP) techniques to summarize the … |
Apr 14, 2023 |
|
|
HTML |
51 |
Map Markup Language is hypertext for Web maps, like HTML is hypertext for Web pages … |
Mar 02, 2023 |
|
|
JavaScript |
4 |
Explore web pages in 3D |
Oct 15, 2015 |