recentpopularlog in

types

« earlier   
Hazel, a live functional programming environment featuring typed holes.
Hazel, a web-based programming environment for an Elm/ML-like functional language that is being designed from the ground up around typed hole-driven development.

sameAs: https://github.com/hazelgrove/hazel
paper: Toward Semantic Foundations for Program Editors
paper: Hazelnut: A Bidirectionally Typed Structure Editor Calculus
paper: Live Functional Programming with Typed Holes
language  types  synthesis  ide  repl 
2 days ago by slowbyte
woutervh-/typescript-is
Contribute to woutervh-/typescript-is development by creating an account on GitHub.
typescript  types 
3 days ago by meeb
usabilityhub/ts-auto-guard: Generate type guard functions from TypeScript interfaces
Generate type guard functions from TypeScript interfaces - usabilityhub/ts-auto-guard
types  typescript 
4 days ago by meeb
Fear, trust and JavaScript: When types and functional programming fail - Reaktor
As developers, we want to reduce fear of our code failing and increase trust in our code working well. Many developers working with JavaScript borrow
functional  types  typescript  javascript 
4 days ago by meeb
gcanti (Giulio Canti)
mathematician and rock climber. gcanti has 103 repositories available. Follow their code on GitHub.
functional  typescript  types 
4 days ago by meeb
gcanti/io-ts: TypeScript compatible runtime type system for IO decoding/encoding
TypeScript compatible runtime type system for IO decoding/encoding - gcanti/io-ts
typescript  types 
4 days ago by meeb
A hammer you can only hold by the handle - Systems Group Blog
Using the Rust type system to better enforce invariants in things like timely dataflow
rust  types  programming 
7 days ago by mechazoidal
Using Create React App v2 and TypeScript
Now that Create React App v2 is out, official TypeScript support comes with it. This is an exciting thing for JavaScript users that use TypeScript. TypeScript is a powerful tool that helps us write safer and self-documenting code. We can catch bugs faster with TypeScript.
react  javascript  typescript  types 
7 days ago by spaceninja

Copy this bookmark:





to read