Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Typelevel Rewrite Rules

rewrite rules for type-level equalities
Stars
62
License
No license specified
Open Issues
8
Most Recent Commit
8 months ago
Programming Language
Haskell
Total Releases
3
Latest Release
March 16, 2023
Categories
Site
Repo
Alternatives To Typelevel Rewrite Rules
Select To Compare
Ghcjs ⭐ 2,560
Haskell to JavaScript compiler, based on GHC
total releases 3most recent commit a year ago
Hlint ⭐ 1,420
Haskell source code suggestions
total releases 221most recent commit 3 months ago
Haste Compiler ⭐ 1,390
A GHC-based Haskell to JavaScript compiler
total releases 38most recent commit 5 years ago
Clash Compiler ⭐ 1,336
Haskell to VHDL/Verilog/SystemVerilog compiler
total releases 87most recent commit 3 months ago


Suggest An Alternative To typelevel-rewrite-rules
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Haskell Ghc
Types Haskell
Types Ghc

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Ghc
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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