Awesome Open Source

Programming Languages

Search results for algorithms type system

3 search results found

Meta Typing ⭐ 764

📚 Functions and algorithms implemented purely with TypeScript's type system

Mir Algorithm ⭐ 168

Dlang Core Library

Write You An Inference In Fsharp ⭐ 120

Different type inference algorithms implemented in F#

Computational Algebra ⭐ 81

General-Purpose Computer Algebra System as an EDSL in Haskell

Libgimbal ⭐ 56

C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.

Typelayout ⭐ 15

An experiment in embedding layout computations in the type system.

Related Searches

Python Algorithms (9,749)

C Plus Plus Algorithms (6,175)

Algorithms Data Structure (4,627)

Java Algorithms (4,524)

Javascript Algorithms (3,576)

C Algorithms (2,442)

Jupyter Notebook Algorithms (2,326)

Algorithms Graph (1,764)

Algorithms Sort (1,670)

Matlab Algorithms (1,381)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.