|
|
TypeScript |
2 |
Basic Mathematics In Typescript's Type System |
Jun 21, 2022 |
|
|
TypeScript |
10 |
basic mathematics in typescript's type system |
Jul 24, 2022 |
|
|
TypeScript |
1735 |
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system |
Oct 10, 2022 |
|
|
TypeScript |
3 |
String Interpolator with Typescript's Type System |
Jul 16, 2022 |
|
|
TypeScript |
393 |
JSON Parser written entirely in TypeScript's type system |
Jul 26, 2022 |
|
|
None |
2 |
JSON Parser written entirely in TypeScript's type system |
Mar 27, 2022 |
|
|
TypeScript |
34 |
Using TypeScript's Type System to do 8-bit Arithmetic |
Apr 11, 2023 |
|
|
None |
149 |
⬛ 🟨 🟩 TypeScriptle - Wordle in TypeScript's type system |
May 16, 2023 |
|
|
TypeScript |
5 |
Lambda Calculus parser and interpreter made in TypeScript's type system |
Jul 28, 2022 |
|
|
TypeScript |
980 |
📚 Functions and algorithms implemented purely with TypeScript's type system |
May 23, 2023 |
|
|
TypeScript |
382 |
TypeScript's type definitions for Ramda |
Oct 06, 2022 |
|
|
TypeScript |
199 |
🌳 A tiny language interpreter implemented purely in TypeScript's type-system |
Apr 29, 2023 |
|
|
TypeScript |
4680 |
👷 TypeScript's largest type utility library |
Sep 11, 2022 |
|
|
TypeScript |
6 |
Webpack plugin that runs TypeScript's type checker |
Oct 02, 2020 |
|
|
TypeScript |
113 |
Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely … |
Aug 12, 2022 |
|
|
C |
2 |
E4DS-DSP-Basic-Mathematics |
May 21, 2022 |
|
|
JavaScript |
15 |
Plugin to make TypeScript's JSDoc type annotations work with JSDoc |
Mar 31, 2022 |
|
|
TypeScript |
4 |
TypeScript type definitions for new JavaScript stuff that isn't yet in TypeScript's standard type definitions |
Mar 13, 2023 |
|
|
TypeScript |
110 |
A tool to aid minification of Typescript code, using Typescript's type information. |
Aug 10, 2022 |
|
|
Lua |
3 |
Basic Mathematics teaching mod for Minetest |
Feb 11, 2023 |
|
|
Smalltalk |
2 |
A basic mathematics library in Smalltalk |
Dec 21, 2019 |
|
|
TypeScript |
148 |
A neural network in TypeScript's type system. A vision model that recognizes digits. Based on … |
Apr 30, 2023 |
|
|
HTML |
3 |
A small blog about type theory and mathematics |
Sep 13, 2022 |
|
|
JavaScript |
2 |
Typescript's Proof of Concept |
Jul 15, 2022 |
|
|
TypeScript |
2 |
Typescript's data structures implementation. |
Sep 15, 2022 |
|
|
TeX |
9 |
Homotopy Type Theory as an Alternative Foundation to Mathematics |
Sep 21, 2022 |
|
|
HTML |
5 |
Comparing Kotlin syntax with TypeScript's |
Jul 22, 2021 |
|
|
None |
2 |
👷 TypeScript's largest utility library |
Apr 03, 2023 |
|
|
TypeScript |
4 |
TypeScript's typings for Titanium Mobile. |
Jan 07, 2022 |
|
|
C++ |
2 |
All Type of Basic Questions |
Jan 10, 2023 |
|
|
Haskell |
6 |
Basic lens type and functions |
Dec 20, 2020 |
|
|
None |
2 |
Intelligent Learning System of Discrete Mathematics (Graph Theory) |
Mar 28, 2023 |
|
|
TypeScript |
3 |
Define Ember.Objects using Typescript's class syntax. |
Nov 18, 2016 |
|
|
TypeScript |
14 |
Third-party Omise.js TypeScript's typings support. |
Apr 10, 2023 |
|
|
TypeScript |
5 |
A basic maybe type for JavaScript |
May 07, 2019 |
|
|
Raku |
2 |
A basic record type for Raku |
Mar 08, 2022 |
|
|
Haskell |
2 |
Example of basic type level programming. |
Apr 03, 2018 |
|
|
Clojure |
3 |
DBus type system parser |
Jul 29, 2020 |
|
|
Scala |
3 |
Scala type system playground |
Aug 26, 2021 |
|
|
C |
6 |
a simple type system |
Jun 21, 2022 |
|
|
Common Lisp |
23 |
CL type system implementation |
Apr 25, 2023 |
|
|
JavaScript |
24 |
A JS library that predicts soccer match outcomes using basic mathematics |
Aug 18, 2022 |
|
|
HTML |
2 |
It is a basic calculator you can do all mathematics calculations |
Jan 25, 2023 |
|
|
PHP |
2 |
Basic Banking System |
Jul 04, 2021 |
|
|
C++ |
3 |
basic pin system |
Feb 07, 2023 |
|
|
C |
3 |
Basic operating system |
Apr 24, 2023 |
|
|
HTML |
4 |
Basic Banking System |
Jan 13, 2024 |
|
|
PHP |
3 |
unofficial mirror of IMathAS, an Internet Mathematics Assessment System |
May 06, 2014 |
|
|
JavaScript |
5 |
Integration Angular language-service with TypeScript's tsserver |
Jun 28, 2019 |
|
|
None |
7 |
Community docs about typescript's compiler and APIs |
Aug 05, 2022 |