singletons

Fake dependent types in Haskell using singletons (by goldfirere)

Singletons Alternatives

Similar projects and alternatives to singletons

  1. rust

    2,782 singletons VS rust

    Empowering everyone to build reliable and efficient software.

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. adventofcode

    Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024 in Scala (by sim642)

  4. rfcs

    679 singletons VS rfcs

    RFCs for changes to Rust

  5. Cargo

    271 singletons VS Cargo

    The Rust package manager

  6. Clippy

    121 singletons VS Clippy

    A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

  7. rayon

    68 singletons VS rayon

    Rayon: A data parallelism library for Rust

  8. pixels

    A tiny hardware-accelerated pixel frame buffer. 🦀

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. rust-postgres

    Native PostgreSQL driver for the Rust programming language

  11. containers

    Assorted concrete container types (by haskell)

  12. containers

    Bitnami container images

  13. hoq

    0 singletons VS hoq

    A language based on homotopy type theory with an interval

  14. open-typerep

    Open type representations and dynamic types

  15. parameterized-utils

    A set of utilities for using indexed types including containers, equality, and comparison.

  16. advent-of-code-2020

    :christmas_tree: My Advent of Code solutions in Rust. http://adventofcode.com/2020

  17. cubical

    0 singletons VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  18. httparse

    A push parser for the HTTP 1.x protocol in Rust.

  19. helf

    0 singletons VS helf

    Haskell implementation of the Edinburgh Logical Framework

  20. flurry

    A port of Java's ConcurrentHashMap to Rust

  21. permutation

    git import of patrick perry permutations lib from darcs (by spacekitteh)

  22. Sit

    0 singletons VS Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better singletons alternative or higher similarity.

singletons discussion

Log in or Post with

singletons reviews and mentions

Posts with mentions or reviews of singletons. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-22.

Stats

Basic singletons repo stats
2
288
7.9
25 days ago

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?