typed-encoding-encoding VS Carp

Compare typed-encoding-encoding vs Carp and see what are their differences.


Bridge between `encoding` and `typed-encoding` package (by rpeszek)


A statically typed lisp, without a GC, for real-time applications. (by carp-lang)
Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • SaaSHub - Software Alternatives and Reviews
typed-encoding-encoding Carp
0 34
1 4,524
- 1.2%
0.0 8.3
almost 2 years ago about 1 month ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License GNU General Public License v3.0 or later
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.


Posts with mentions or reviews of typed-encoding-encoding. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning typed-encoding-encoding yet.
Tracking mentions began in Dec 2020.


Posts with mentions or reviews of Carp. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-16.
  • Lisp for games
    2 projects | reddit.com/r/lisp | 16 May 2022
    Most Lisp implementations use a garbage collector. Carp looks like an interesting one without GC. I'm sure there are others as well.
  • Features of a dream programming language: 2nd draft.
    16 projects | dev.to | 10 Feb 2022
    No Garbage-Collector (GC), but also no garbage. Deterministic Object lifetimes, and Ownership tracking (affinity type system). Inspired by Rust and Carp. Alternatively, the language could take inspiration from concatenative programming languages which doesn't generate garbage by design, and uses the stack heavily. Garbage is a symptom of memorizing, which is tedious for the programmer, as well as the compiler, as well as the runtime. Garbage comes when you have to clean up something you memorised (allocated memory for, but somehow stopped using further on). Concatenative programming is closely related to FP through continuation-passing style (CPS) and tail-call optimization (TCO).
  • What is haskell used for ?
    2 projects | reddit.com/r/ProgrammingLanguages | 6 Jan 2022
    Haskell happens to be one of the most hard-core functional languages, which brings some interesting features to the table. It's used a lot for academic research, writing compilers for other languages (e.g. Carp, Idris etc.), it's used for making generative art and music, or by many large companies and startups in the financial and tech sectors. Most famously, Facebook uses Haskell for its spam detection algorithms.
  • The Clojure Mindshare (2019)
    5 projects | news.ycombinator.com | 31 Dec 2021
    I love Clojure, but I do miss static types. I'm hoping Carp[0] (mentioned in the article) comes into its own. It seems like it could become my ideal language. The other problem I have with lisps in general is that they seem to encourage clever programming that is hard to read / debug (or maybe they just attract developers who value brevity over clarity... not sure).

    [0] https://github.com/carp-lang/Carp

  • Bubbleos, a Self-Contained OS
    3 projects | news.ycombinator.com | 18 Nov 2021
    In the “Immediate plans (say, March 2019)” (yes, most of this project is 2¾ years old, though there have been spasms of activity in some areas from time to time since):

    > Leconscrip: a memory-safe low-level statically-typed imperative language without garbage collection and with Lisp syntax, […]

    I think producing anything even vaguely useful of this description in under a month was fairly wildly unrealistic. The only path to memory safety without garbage collection (… unless you’re willing to forego references altogether, which would generally disqualify usefulness) is some form of ownership tracking, and that’s a fairly lightly-trodden and lightly-documented path. There are very few examples of such languages even if you skip Lispness—I think Cyclone was the first (a research project spanning 2001–2006; and correct me if there was prior art), and Rust is the only even vaguely mainstream one. Making a language with these features using Lisp syntax (which I presume to include macros, otherwise is it even Lisp syntax?) is even more lightly-trodden and I suspect more difficult on average, though Carp <https://github.com/carp-lang/carp> looks to be having a go at that.

    (I’m definitely interested in the concept of a memory-safe, garbage-collection-free language with Lisp syntax. I wish Carp and any other attempts well.)

  • Clojure, but without the JVM?
    19 projects | reddit.com/r/lisp | 29 Oct 2021
  • Carp - A statically typed lisp, without a GC, for real-time applications.
    1 project | reddit.com/r/lisp | 15 Oct 2021
    1 project | reddit.com/r/Clojure | 15 Oct 2021
  • Hacker News top posts: Oct 15, 2021
    4 projects | reddit.com/r/hackerdigest | 15 Oct 2021
    Carp – A statically typed Lisp, without a GC, for real-time applications\ (67 comments)
  • Carp – A statically typed Lisp, without a GC, for real-time applications
    1 project | reddit.com/r/patient_hackernews | 15 Oct 2021

What are some alternatives?

When comparing typed-encoding-encoding and Carp you can also consider the following projects:

awesome-lisp-companies - Awesome Lisp Companies

sectorlisp - Bootstrapping LISP in a Boot Sector

Fennel - Lua Lisp Language

femtolisp - a lightweight, robust, scheme-like lisp implementation

hy - A dialect of Lisp that's embedded in Python

trivial-gamekit - Simple framework for making 2D games

Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

ferret - Ferret is a free software lisp implementation for real time embedded control systems.

nim-esp8266-sdk - Nim wrapper for the ESP8266 NON-OS SDK

awesome-clojure-likes - Curated list of Clojure-like programming languages.

babashka - Native, fast starting Clojure interpreter for scripting

FunGEn - A lightweight, cross-platform, OpenGL-based 2D game engine in Haskell