traversable/schema

A lightweight, modular TypeScript schema library with opt-in power tools

Language: TypeScript - Size: 3.55 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

athanclark/purescript-tuples-native

Implementation of tuples as a flat heterogeneous array, for FFI

Language: PureScript - Size: 18.6 KB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 6

ahrjarrett/any-ts

Sensible, performant primitives for writing semantic TypeScript code

Language: TypeScript - Size: 729 KB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 10 - Forks: 1

mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Language: Scala - Size: 324 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

DmytroMitin/AUXify

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

Language: Scala - Size: 13.9 MB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 29 - Forks: 3

jl-n/tslisp

Bootstraping LISP in Typescripts type system

Language: TypeScript - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

tofu-tf/typed-schema

Typelevel http service definition DSL

Language: Scala - Size: 3.34 MB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 150 - Forks: 28

DmytroMitin/shapeless Fork of milessabin/shapeless

Generic programming for Scala

Language: Scala - Size: 6.12 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

daddinuz/holmes

Exploring type-level programming in Rust

Language: Rust - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

wg-romank/peano

Inductive proofs in Rust

Language: Makefile - Size: 1.2 MB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

RobMurray98/HFuzz

Implementation of differential privacy in Haskell

Language: Haskell - Size: 42 KB - Last synced at: 6 months ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

athanclark/quickcheck-combinators

type-level combinators for quickcheck instances

Language: Haskell - Size: 17.6 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

mtomassoli/TS-Experiments

Non trivial Type Programming in Typescript

Language: TypeScript - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

lachatak/mrd-parser

mrd-parser shapeless and scodec test implementation

Language: Scala - Size: 285 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

TypeChecked/alphabet-soup

Type calculations at compile time

Language: Scala - Size: 378 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 40 - Forks: 2

mcgizzle/oh-migrations

Data migrations through implicit function composition at the type-level

Language: Scala - Size: 102 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 22 - Forks: 0

gvolpe/shapeless-demo

Shapeless playground

Language: Scala - Size: 1020 KB - Last synced at: about 17 hours ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

itkpi/trembita

Model complex data transformation pipelines easily

Language: Scala - Size: 2.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 45 - Forks: 2

TypeChecked/numerology

Language: Scala - Size: 108 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 19 - Forks: 1

mitallast/effect

experiment FP in java

Language: Java - Size: 194 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

natserract/tapi

Backend architecture representation in TLP

Language: Haskell - Size: 411 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

sigma-andex/purescript-typelevel-arithmetic

Fast typelevel arithmetic 🧮 using symbols

Language: PureScript - Size: 37.1 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

ggzor/type-level-magic

Some type-level magic in some languages.

Language: Rust - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

higherkinded/cheap-tricks

Various tricky stuff in Haskell

Language: Haskell - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

ronaldcmde/Scala-Lab

This repo contains multiple projects made using Functional Programming and and BigData tools

Language: Scala - Size: 364 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

hgrano/HException

Heterogeneously typed exception handling for Haskell

Language: Haskell - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

a-nigredo/misc

Language: Scala - Size: 5.86 KB - Last synced at: 6 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

rudogma/scala-superquants

Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%

Language: Scala - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 17 - Forks: 0

janschultecom/kolgut-api

Schema-safe http api using Idris+Rust

Language: Idris - Size: 21.5 KB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

athanclark/purescript-quickcheck-combinators

Typelevel combinators for quickcheck, in purescript

Language: PureScript - Size: 6.84 KB - Last synced at: 20 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

gailo22/scala-practicing

Scala Practicing project

Language: Scala - Size: 59.6 KB - Last synced at: 8 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

itkpi/h-api

Phantom type to abstract over API

Language: Scala - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

maxov/linear

Typed linear algebra

Language: Scala - Size: 64.5 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0