SaaSHub helps you find the best software and product alternatives Learn more →
Cogent Alternatives
Similar projects and alternatives to cogent
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
awesome-programming-languages
The list of awesome programming languages that you might be interested in.
-
-
-
edsl
Design, conduct and analyze results of AI-powered surveys and experiments. Simulate social science and market research with large numbers of AI agents and LLMs.
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better cogent alternative or higher similarity.
cogent discussion
cogent reviews and mentions
Posts with mentions or reviews of cogent.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-15.
-
Let's collect relatively new research programming languages in this thread
Cogent, late 2010s, a language with linear types for verification. The idea is that you write functional-looking code that is easy to verify using the functional semantics, but with an efficient compilation strategy enabled by linear types to get realistic system programs.
-
Thoughts on the Rascal meta-programming language
Of course. Here was the first incarnation: https://github.com/amw-zero/sligh. It has a decent overview of the idea in the readme. To sum it up here, the idea is: have a language built around model-driven development and model-based testing, where you write a simple model of an application, and the implementation and model-based tests are compiled for you. I wrote about the overall model-based testing strategy here. This idea comes from self-certifying compilers that produce proofs of their correctness such as Cogent, but we drop the formality requirement and use property-based testing to compare the implementation and model.
-
Are there any ML style languages with no runtime?
That made me think of this project Cogent. This is almost certainly not what you’re looking for, because it’s aimed at formal verification. But, it does have some interesting properties, like manual memory management through uniqueness types. It doesn’t even support recursion though so, probably not so good as a general purpose PL.
-
I'm a freelancer and I've got a customer who is asking for USB driver for a new device. They want it written in c++ and I said I'd only consider creating and supporting it if it was written in Rust. 🤷♂️
https://github.com/NICTA/cogent is for auto generating isabelle theorems + C code.
-
A note from our sponsor - SaaSHub
www.saashub.com | 24 Jun 2025
Stats
Basic cogent repo stats
4
165
2.1
3 months ago
au-ts/cogent is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of cogent is Isabelle.
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com