|
|
TeX |
51 |
Plasma Cash: Towards Improved Plasma Constructions. |
Aug 17, 2021 |
|
|
Python |
10 |
Plasma Cash, written in Vyper |
Feb 12, 2023 |
|
|
JavaScript |
272 |
Plasma Cash Contract & Client. ERC721, ERC20, and ETH compatible |
Mar 26, 2022 |
|
|
TypeScript |
44 |
All In One stateful Plasma-Cash client, browser compatible |
Aug 11, 2022 |
|
|
Rust |
3 |
Plasma Cash, written in Rust using the Substrate framework |
Mar 27, 2023 |
|
|
Haskell |
4 |
Quite Obfuscated Constructions |
Jan 06, 2023 |
|
|
Coq |
16 |
Calculus of Constructions |
Mar 18, 2021 |
|
|
Rust |
4 |
The calculus of constructions |
Jul 11, 2022 |
|
|
GAP |
2 |
Graph constructions in GAP |
Nov 07, 2016 |
|
|
Scala |
3 |
Constructions to run tasks sequentially |
Nov 09, 2021 |
|
|
Python |
344 |
Electron Cash; Bitcoin Cash thin client |
May 01, 2023 |
|
|
Python |
6 |
Electron Cash; Bitcoin Cash thin client |
Dec 18, 2021 |
|
|
Haskell |
368 |
A bare-bones calculus-of-constructions |
Sep 07, 2022 |
|
|
Clojure |
9 |
Combinatorial constructions with Clojure and Quil |
Jun 01, 2016 |
|
|
None |
2 |
Bitcoin Cash - Peer-to-Peer Electronic Cash |
Oct 19, 2021 |
|
|
CSS |
89 |
Bitcoin Cash - Peer-to-Peer Electronic Cash |
Aug 26, 2022 |
|
|
CSS |
3 |
Bitcoin Cash - Peer-to-Peer Electronic Cash |
Aug 03, 2020 |
|
|
CSS |
2 |
Mega Plasma Themes For Plasma Desktop |
Jan 25, 2023 |
|
|
QML |
4 |
Shiny Plasma Themes For Plasma Desktop |
Mar 15, 2023 |
|
|
Python |
7 |
Determine plasma flux functions for various plasma parameters and plasma configurations. |
Feb 19, 2022 |
|
|
Kotlin |
28 |
Project Cash |
Aug 10, 2022 |
|
|
Ruby |
3 |
Cash Project |
Nov 04, 2022 |
|
|
HTML |
4 |
Cash Stream |
Mar 13, 2023 |
|
|
JavaScript |
3 |
Cash Accounts |
Feb 21, 2022 |
|
|
TypeScript |
2 |
Cash Split |
Jun 05, 2023 |
|
|
Kotlin |
2 |
Cash toolkit app for distributing cash in emergencies |
Aug 11, 2021 |
|
|
None |
2 |
Cryptographic constructions based on the Gimli permutation. |
Sep 16, 2019 |
|
|
None |
4 |
Plasma Theme |
Apr 16, 2021 |
|
|
QML |
5 |
Plasma Theme |
Apr 09, 2022 |
|
|
None |
2 |
Plasma Theme |
Oct 30, 2019 |
|
|
None |
3 |
Plasma Theme |
Jan 19, 2022 |
|
|
QML |
2 |
plasma-simpleMonitor |
Jan 10, 2020 |
|
|
PureScript |
4 |
FOAM + plasma |
Aug 19, 2019 |
|
|
QML |
43 |
plasma-simpleMonitor |
May 15, 2023 |
|
|
QML |
30 |
plasma theme |
Apr 26, 2023 |
|
|
None |
2 |
Plasma Theme |
Jan 08, 2024 |
|
|
Shell |
2 |
Plasma Icons |
Mar 19, 2024 |
|
|
None |
2 |
Plasma Theme |
Mar 19, 2024 |
|
|
None |
2 |
Plasma Theme |
Mar 19, 2024 |
|
|
None |
2 |
Plasma Theme |
Mar 19, 2024 |
|
|
None |
2 |
Plasma Theme |
Mar 19, 2024 |
|
|
Ruby |
4 |
Cash on delivery |
Jun 01, 2022 |
|
|
C# |
14 |
Cash Knowlege Here |
Apr 15, 2023 |
|
|
JavaScript |
2 |
Cash Register Manager |
Mar 12, 2022 |
|
|
Dart |
2 |
cash-register-flutter |
Mar 04, 2023 |
|
|
JavaScript |
2 |
Cash Register Project |
Feb 06, 2023 |
|
|
C# |
2 |
Cash Knowlege Here |
Jan 30, 2024 |
|
|
Haskell |
2 |
Library of categories, with categorical constructions on them |
Feb 17, 2022 |
|
|
None |
2 |
A framework for testing multi-modal CCG constructions |
Dec 15, 2013 |
|
|
JavaScript |
17 |
"operating system" based on the calculus of constructions |
Jul 19, 2022 |