|
|
None |
2 |
defn- for Carp (now merged into Carp core) |
Jan 28, 2023 |
|
|
None |
2 |
Logger for Carp |
Jun 22, 2021 |
|
|
C |
2 |
SubProcess for Carp |
Oct 31, 2022 |
|
|
C |
2 |
Bitsets for Carp |
May 23, 2021 |
|
|
None |
2 |
Bloomfilter for Carp |
May 23, 2021 |
|
|
None |
2 |
Destructuring macro for Carp |
Jul 20, 2021 |
|
|
Makefile |
4 |
Lambda shorthand for Carp |
Nov 22, 2022 |
|
|
None |
3 |
Carp bindings for Raylib |
Nov 18, 2021 |
|
|
C |
2 |
Carp bindings for murmurhash3 |
May 23, 2021 |
|
|
TypeScript |
472 |
Implementation of newtypes in TypeScript |
Aug 12, 2022 |
|
|
Scala |
38 |
Zero-cost wrappers (newtypes) for Scala 3 |
Jun 21, 2022 |
|
|
Shell |
4 |
Carp book (wip) |
Jun 14, 2020 |
|
|
PureScript |
13 |
Type class and functions for working with newtypes |
Nov 30, 2021 |
|
|
Swift |
13 |
An approximation of newtypes in Swift. |
Mar 21, 2021 |
|
|
C |
10 |
A toy web framework for Carp |
Apr 05, 2022 |
|
|
C |
6 |
Tree-sitter package for Carp language |
Mar 14, 2023 |
|
|
Makefile |
5 |
Running Fennel in Carp |
Oct 24, 2021 |
|
|
C |
2 |
Porter stemmer in Carp |
Feb 16, 2023 |
|
|
None |
3 |
🐟 Twitter Carp Data |
Feb 26, 2023 |
|
|
C# |
2 |
:dragon: Carp programming language |
Jan 09, 2024 |
|
|
Rust |
3 |
Byte array newtypes of various primitive types. |
Mar 30, 2023 |
|
|
Python |
31 |
One stop shop for all things carp |
Aug 03, 2022 |
|
|
None |
9 |
A naive bindings for pthread in Carp |
Mar 11, 2023 |
|
|
None |
5 |
Carp language support for Atom text editor |
Nov 14, 2020 |
|
|
Haskell |
2 |
Existential quantification in newtypes using church encoding + RankNTypes |
Dec 05, 2019 |
|
|
Go |
2 |
CARP - CAS Authentication Reverse Proxy |
Mar 09, 2022 |
|
|
None |
3 |
Mergesort implementation in carp lang |
Feb 07, 2020 |
|
|
Dart |
66 |
CARP Mobile Sensing for Flutter, including mobile sensing framework, data backend support, and the CARP … |
Apr 19, 2023 |
|
|
Makefile |
3 |
Example of using Carp + SDL + Emscripten |
Feb 23, 2022 |
|
|
C++ |
6 |
Carp + Adafruit Arcada on the Pygamer |
Oct 24, 2021 |
|
|
Clojure |
22 |
A GBA game built with Carp |
Apr 30, 2023 |
|
|
Haskell |
4 |
Newtypes over Text, allowing for safer application code by eliminating edge cases |
Mar 03, 2023 |
|
|
Shell |
6 |
⭐ JSON DSL, parser, unmarshalling and marshalling for Carp |
Feb 20, 2023 |
|
|
C++ |
9 |
Example of using Carp with Arduino libraries |
Oct 24, 2021 |
|
|
None |
5 |
A Hiccup-like html generator in Carp |
Oct 24, 2021 |
|
|
None |
2 |
Contains misc. internal documentation for the CACHET Research Platform (CARP). |
Feb 24, 2023 |
|
|
Dart |
4 |
A CARP-based monitoring app for Pulmonary (i.e., respiratory) health |
Nov 21, 2022 |
|
|
Perl |
2 |
like Carp::Always, but works with objects too |
Feb 11, 2021 |
|
|
None |
4 |
Creates a global statically allocated array in Carp |
Oct 24, 2021 |
|
|
JavaScript |
24 |
Browser-based Korg NTS-1 chord arpeggiator (carp) sequencer |
Jul 30, 2022 |
|
|
None |
2 |
Example of boxing types in Carp. To be used for recursive types. |
Jul 20, 2021 |
|
|
Python |
2 |
ample project that provides all existing endpoints to communicate with the CARP Webservices API platform … |
Mar 07, 2023 |
|
|
C++ |
17 |
Shared artifacts and workflows from the EU FP7 Carp project in the customizable, portable and … |
Dec 24, 2021 |
|
|
M4 |
157 |
UCARP allows a couple of hosts to share common virtual IP addresses in order to … |
Mar 23, 2023 |
|
|
Java |
2 |
A system built to achieve micro-service architecture. I have used industry level experience to build … |
Sep 26, 2022 |
|
|
Matlab |
14 |
A three-dimensional Lagrangian model capable of evaluating the influence of flow velocity, shear dispersion and … |
May 17, 2023 |
|
|
CSS |
3 |
for future, for now, for past, forever |
Mar 17, 2023 |
|
|
Swift |
3 |
Source code for Issues for NationStates, for iOS. |
Mar 25, 2022 |
|
|
PHP |
22 |
Proposal for standard for generics (for static analysis) |
Mar 21, 2022 |
|
|
None |
12 |
Clash for Windows for Mac，Clash for Windows for Mac教程，Clash for Windows for Mac配置说明，Clash for Mac |
Jun 18, 2022 |