GeezerVison is showing github.com — typedefs
Pinned
Loading
Programming language agnostic type construction language based on polynomials.
Idris
373
18
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
Sort
Showing 10 of 11 repositories
typedefs
Public
Programming language agnostic type construction language based on polynomials.
typedefs/typedefs's past year of commit activity
Idris
373
AGPL-3.0
18
51
4
Updated May 29, 2024
site
Public
Typedefs website
typedefs/site's past year of commit activity
CSS
0
1
2
19
Updated Jan 9, 2023
typedefs.js
Public
Typedefs library as a JavaScript NPM module
typedefs/typedefs.js's past year of commit activity
JavaScript
7
2
0
11
Updated Jan 4, 2023
typedefs/try-typedefs's past year of commit activity
JavaScript
3
2
9
11
Updated Dec 3, 2022
idris-gpd
Public
Generic Packet Descriptions in Idris
typedefs/idris-gpd's past year of commit activity
Idris
3
0
0
0
Updated Sep 3, 2019
typedefs/purescript-typedefs-interop's past year of commit activity
JavaScript
2
0
1
0
Updated May 21, 2019
cli
Public
Typedefs Command Line Interface
typedefs/cli's past year of commit activity
JavaScript
3
0
2
0
Updated Apr 18, 2019
typedefs/typedefs-example-reasonml's past year of commit activity
1
0
1
0
Updated Jan 9, 2019
typedefs-docs
Public
Typedefs automatically generated source documentation
typedefs/typedefs-docs's past year of commit activity
CSS
1
0
0
0
Updated Dec 25, 2018
pm
Public
project management
typedefs/pm's past year of commit activity
0
AGPL-3.0
0
12
0
Updated May 15, 2018
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.