|
Haskell |
3 |
Type-level (low cardinality) integers for Haskell based on type families. |
Oct 14, 2014 |
|
C# |
9 |
Type-level integers for C# |
Feb 16, 2023 |
|
Haskell |
2 |
Integers with type-level ranges |
Dec 05, 2019 |
|
Haskell |
2 |
Type-level (low cardinality) integers for Haskell. |
May 10, 2016 |
|
Python |
2 |
Stack-based esolang involving integers |
Oct 08, 2021 |
|
Elixir |
7 |
A time- and memory-efficient data structure for positive integers. |
Jul 28, 2022 |
|
R |
2 |
Text-based Arbitrary Precision Integers in R |
Jul 21, 2020 |
|
JavaScript |
5 |
Hash integers |
Jun 14, 2021 |
|
Scala |
20 |
Simple, type-safe, and efficient access to DynamoDB |
Jul 03, 2022 |
|
OCaml |
168 |
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The … |
Jul 31, 2022 |
|
C++ |
96 |
HexType: Efficient Detection of Type Confusion Errors for C++ |
Mar 02, 2023 |
|
Python |
4 |
Type-safe, efficient & database-agnostic enumeration field for Django |
Jun 16, 2022 |
|
Julia |
2 |
Permutations of integers |
Oct 09, 2021 |
|
Nim |
23 |
128-bit integers |
Jan 19, 2023 |
|
TypeScript |
10 |
Type-safe efficient query API engine using slonik and zod |
May 08, 2023 |
|
C++ |
94 |
An efficient character based RNN |
Jan 28, 2023 |
|
Go |
9 |
Return type of image based on mime type |
Apr 19, 2023 |
|
TypeScript |
6 |
Type-based OpenAPI Specification |
Apr 28, 2023 |
|
Solidity |
46 |
Gas golfing the most gas efficient way to check if two integers have the same … |
Nov 14, 2022 |
|
Python |
3 |
Python fixed-width integers |
Oct 03, 2020 |
|
Nim |
17 |
Give integers super-powers! |
Oct 15, 2022 |
|
OCaml |
5 |
Integers of various widths |
Mar 21, 2023 |
|
C++ |
171 |
Safer integers in C++. |
Jul 19, 2022 |
|
Python |
2 |
Extended Integers for Python |
Jan 18, 2022 |
|
JavaScript |
6 |
Compact Size Unsigned Integers |
Apr 06, 2021 |
|
Shell |
2 |
Reading Integers Loudly (CHN) |
May 09, 2014 |
|
Rust |
23 |
Arbitrary precision integers library. |
Nov 18, 2022 |
|
C++ |
2 |
Parse integers from strings |
Mar 29, 2020 |
|
Objective-C |
14 |
Safe integers for C++ |
Mar 21, 2022 |
|
Python |
4 |
Analog integers in python |
Sep 10, 2016 |
|
Haskell |
3 |
Type level numerics for Haskell using type families. Based on type-level. |
Jul 03, 2017 |
|
JavaScript |
2 |
JavaScript big integers with support for ES6 BigInt and unboxed small integers |
Aug 29, 2020 |
|
TeX |
5 |
A Language for the Specification and Efficient Implementation of Type Systems |
Oct 05, 2022 |
|
C++ |
7 |
SymCC: efficient compiler-based symbolic execution |
Apr 26, 2022 |
|
R |
3 |
Efficient Constrained Based Modelling in R |
Dec 12, 2022 |
|
JavaScript |
2 |
A regexp switch based, efficient router. |
Jul 29, 2020 |
|
Python |
60 |
Efficient tree-based datastructure for Django |
Apr 15, 2022 |
|
Java |
2 |
Efficient aggregation engine based on MongoDB |
Nov 29, 2022 |
|
C++ |
641 |
SymCC: efficient compiler-based symbolic execution |
May 11, 2023 |
|
OCaml |
7 |
Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … |
Feb 19, 2023 |
|
JavaScript |
10 |
Multi-type protocol-based polymorphism |
Sep 25, 2018 |
|
TypeScript |
5 |
Typescript type-based code transformation |
Jan 28, 2023 |
|
Rust |
273 |
A type-based Rust cheatsheet |
May 21, 2023 |
|
C++ |
7 |
Type-based Data Isolation prototype |
Oct 14, 2022 |
|
C# |
47 |
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or … |
Aug 10, 2022 |
|
HTML |
561 |
Arbitrary precision integers in JavaScript |
May 22, 2022 |
|
None |
2 |
Multiply two integers in java |
Apr 02, 2022 |
|
Rust |
2 |
Store vectors of integers efficiently |
Aug 04, 2021 |
|
R |
3 |
Unsigned 8bit integers for Rstats |
Dec 23, 2021 |
|
Python |
19 |
Fixed-width integers for Python |
Jul 19, 2022 |