|
|
Haskell |
2 |
Example of basic type level programming. |
Apr 03, 2018 |
|
|
PureScript |
11 |
Type-level list of kinds for PureScript. |
Nov 26, 2021 |
|
|
Haskell |
4 |
Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems. |
Dec 05, 2019 |
|
|
F# |
4 |
Type-level programming in F# |
Aug 24, 2021 |
|
|
TypeScript |
352 |
Type level programming in TypeScript |
Jul 31, 2022 |
|
|
Scala |
2 |
scala type level programming note |
Jun 30, 2019 |
|
|
F# |
2 |
.NET type extensions and F# friendly wrappers and basic types. |
Oct 25, 2023 |
|
|
Rust |
32 |
Experimental type level programming in Rust |
Apr 11, 2022 |
|
|
Python |
2 |
Digital Forensics kinds (types and classes) |
Feb 18, 2022 |
|
|
Haskell |
3 |
type level programming that compiles to typescript. |
Jun 08, 2022 |
|
|
PureScript |
5 |
Type equality check returning a Boolean kind. Useful for type-level programming. |
Feb 17, 2019 |
|
|
Go |
4 |
Convert to a type which contains only basic types |
Nov 23, 2018 |
|
|
Java |
6 |
A low level, fast,type safe programming language. |
Mar 03, 2021 |
|
|
Ruby |
17 |
A set of objects that acts like types (type checking and type casting) with a … |
Jan 19, 2023 |
|
|
TypeScript |
4 |
Repository for my talk about type level programming in TypeScript |
Apr 30, 2023 |
|
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
|
JavaScript |
6 |
A basic JSON-safe low-level programming language |
Aug 20, 2022 |
|
|
C++ |
2 |
Trying to do some type-level programming in C++ |
May 22, 2022 |
|
|
Haskell |
87 |
Haskell Functional Reactive Programming framework with type-level clocks |
Apr 18, 2023 |
|
|
Haskell |
3 |
Data types and type classes for universally and existentially quantified types |
Dec 28, 2021 |
|
|
Haskell |
3 |
Type level numerics for Haskell using type families. Based on type-level. |
Jul 03, 2017 |
|
|
Go |
2 |
Advanced level Go programming language tutorial codes for all kinds of users. Restful API included. |
Mar 01, 2023 |
|
|
TypeScript |
4 |
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types |
Dec 17, 2022 |
|
|
HTML |
3 |
kinds of computer basic algorithm |
Feb 18, 2023 |
|
|
Python |
2 |
High level programming is a type of programming that is designed to make programming easier … |
Dec 06, 2023 |
|
|
OCaml |
5 |
Types and Programming Languages |
Aug 21, 2019 |
|
|
Ruby |
2 |
A set of objects that acts like types (type checking and type casting) with a … |
Nov 17, 2021 |
|
|
TypeScript |
5 |
A value-level and type-level DOM builder. |
May 14, 2022 |
|
|
Rust |
4 |
Basic types and functions for pairwise alignment. |
Jan 26, 2023 |
|
|
Swift |
1018 |
Low-level system calls and types for Swift |
Aug 07, 2022 |
|
|
PureScript |
7 |
Types and low-level implementations for JavaScript Promises. |
Mar 22, 2022 |
|
|
PureScript |
4 |
Material for a small introduction including multiple parameter type classes, non-type kinds, and instance chains |
Mar 29, 2021 |
|
|
PureScript |
3 |
Meaningful titles for tabs and PDF downloads! |
Jan 10, 2020 |
|
|
PureScript |
4 |
A simpler way to do basic DOM things |
May 12, 2022 |
|
|
PureScript |
4 |
PureScript bindings to Leaflet.js |
Jan 05, 2022 |
|
|
PureScript |
4 |
PureScript wrapper library for the Screeps game API (https://screeps.com) |
May 13, 2021 |
|
|
PureScript |
4 |
A general-purpose library for LCF+validations refiners |
Jan 04, 2016 |
|
|
PureScript |
4 |
Most.js bindings for purescript |
Jun 28, 2021 |
|
|
PureScript |
4 |
An Sqlite wrapper for Purescript |
Jul 13, 2019 |
|
|
PureScript |
4 |
A web components wrapper for purescript |
Apr 01, 2021 |
|
|
PureScript |
4 |
None |
Mar 12, 2019 |
|
|
PureScript |
4 |
In a Sentimental Mood by Duke Ellington |
Dec 30, 2020 |
|
|
PureScript |
4 |
A three.js port backed by purescript-event |
Jul 21, 2022 |
|
|
PureScript |
4 |
Scala-like traits in PureScript |
Mar 12, 2021 |
|
|
PureScript |
4 |
let's install everything from spacchetti |
Aug 09, 2019 |
|
|
PureScript |
4 |
Example of parsing "enum" style sums using generics with Simple-JSON |
Jul 05, 2018 |
|
|
PureScript |
4 |
Experimental fork of Milkis using Bonjiri. |
Mar 06, 2021 |
|
|
PureScript |
4 |
An easy way to work with Errors by inserting a Variant, and reading it out … |
Nov 26, 2020 |
|
|
PureScript |
4 |
An introduction to Foreign Function Interface with PureScript, using FFI imports to call JS from … |
Jun 08, 2019 |
|
|
PureScript |
4 |
A helper library for constraining types to be Elm port-safe and for providing helpers to … |
Sep 12, 2019 |