GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → L-TChen → Pcf Nominal

L-TChen / Pcf Nominal

A formalisation of PCF in Agda using naive nominal binding

Labels

type-safety

Projects that are alternatives of or similar to Pcf Nominal

llvm-hs-typed
Type Safe LLVM IR ( Experimental )
Stars: ✭ 47 (+840%)
Mutual labels:  type-safety
Mammoth
A type-safe Postgres query builder for TypeScript.
Stars: ✭ 305 (+6000%)
Mutual labels:  type-safety
Swift Nonempty
🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+11600%)
Mutual labels:  type-safety
postgresql-typed
Haskell PostgreSQL library with compile-time type inference
Stars: ✭ 72 (+1340%)
Mutual labels:  type-safety
Identity
🆔 Type-safe identifiers in Swift
Stars: ✭ 282 (+5540%)
Mutual labels:  type-safety
Jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
Stars: ✭ 313 (+6160%)
Mutual labels:  type-safety
eslint-plugin-total-functions
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Stars: ✭ 72 (+1340%)
Mutual labels:  type-safety
Swift Tagged
🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+15920%)
Mutual labels:  type-safety
Scalacss
Super type-safe CSS for Scala and Scala.JS.
Stars: ✭ 293 (+5760%)
Mutual labels:  type-safety
Topshell
TopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (+8340%)
Mutual labels:  type-safety
nest-typed-config
Intuitive, type-safe configuration module for Nest framework ✨
Stars: ✭ 47 (+840%)
Mutual labels:  type-safety
Dry Struct
Typed struct and value objects
Stars: ✭ 263 (+5160%)
Mutual labels:  type-safety
Structopt
Parse command line arguments by defining a struct
Stars: ✭ 323 (+6360%)
Mutual labels:  type-safety
typed
Typed variables for PHP 7.4+ ( don't use this please )
Stars: ✭ 66 (+1220%)
Mutual labels:  type-safety
Gentype
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+13560%)
Mutual labels:  type-safety
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Stars: ✭ 439 (+8680%)
Mutual labels:  type-safety
Vuex Smart Module
Type safe Vuex module with powerful module features
Stars: ✭ 306 (+6020%)
Mutual labels:  type-safety
Flow Runtime
A runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+16160%)
Mutual labels:  type-safety
Nexus Plugin Prisma
A plugin for Nexus that integrates Prisma
Stars: ✭ 728 (+14460%)
Mutual labels:  type-safety
Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Stars: ✭ 355 (+7000%)
Mutual labels:  type-safety
View All Similar Projects ➔

This project does not contain a readme.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].