challenge
by sweirich
Strongly-typed System F in Haskell
AI summary
Type inference system
An implementation of a strongly-typed System F in Haskell
- stars
- 117
- forks
- 9
- watching
- 12
Similar projects
Found by comparing what the projects do, not just their names.
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
wilbowma/cur222
Type system
An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.
Type inference tool
Generates Haskell type declarations from JSON input to improve developer productivity when working with big JSON APIs.
Haskell puzzle set
A collection of Haskell-specific coding challenges with test suites and expected solutions.
Type inquirer
An inference library for Common Lisp's type system
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
hspec/hspec755
Haskell tester
A testing framework for Haskell programming language
Type inference extension
A suite of extensions that augment the Codable API in Swift with type inference-powered capabilities and conveniences.
Interval analyzer
A Haskell library for analyzing interval relationships and dependencies.
Systems programming language
A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Cryptography library
Small minimal examples of modern cryptographic techniques in Haskell
ekmett/hask163
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
