Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL.

Features

  • Functional language with Lisp syntax
  • Compile-time memory safety via linear types
  • Compiles to C for native performance
  • Type inference and static checks
  • Interoperability with C libraries
  • Interactive REPL for rapid development

Project Samples

Project Activity

See All Activity >

License

Apache License V2.0

Follow Carp

Carp Web Site

Other Useful Business Software
FusionAuth: Authentication and User Management Software Icon
FusionAuth: Authentication and User Management Software

Offer your users flexible authentication options, including passwords, passwordless, single sign-on (SSO), and multi-factor authentication (MFA).

FusionAuth adds login, registration, SSO, MFA, and a bazillion other features to your app in days - not months.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Carp!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Programming Language

Haskell

Related Categories

Haskell Programming Languages

Registered

2025-06-30