nikswamy / SafeTypeScriptLinks
A type-safe dialect of TypeScript
☆25Updated 10 years ago
Alternatives and similar repositories for SafeTypeScript
Users that are interested in SafeTypeScript are comparing it to the libraries listed below
Sorting:
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- ☆37Updated 3 years ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Updated 3 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 6 months ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 2 weeks ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- ☆26Updated 2 years ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆30Updated 8 years ago
- A no-frills cli argument parser for reason☆34Updated 6 years ago
- A Haskell fan fiction for ReasonML☆20Updated 6 years ago
- 🦠 Reusable components based on algebraic effects☆50Updated 8 months ago
- Helpers for incremental operations on map like data structures.☆26Updated 2 weeks ago
- Another attempt to realize my programming language☆23Updated 4 months ago
- [ABANDONED] Containers for Bucklescript application☆27Updated 7 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Now part of the atd repo☆44Updated 8 years ago
- SDK to extend Merlin☆28Updated 8 months ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- GraphQL in OCaml tutorial (CUFP 2017)☆29Updated 7 years ago
- JSON combinator library for BuckleScript/Reason☆38Updated 5 years ago
- Proposal for namespacing in OCaml☆39Updated 6 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- 📐Reason/OCaml rules and tools for Bazel☆19Updated 6 years ago
- Functional reactive programming with incremental changes in data structures☆52Updated last month
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Bucklescript data structures for effectful sync and async programming☆37Updated 5 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 3 years ago