bril vs progge.rs

bril

an educational compiler intermediate representation (by sampsyo)

Source Code

capra.cs.cornell.edu

Suggest alternative

Edit details

progge.rs

Program analysis playground for a simple, imperative language (by skius)

program-analysis abstract-interpretation programming-language type-checking Static Analysis Compiler Llvm

Source Code

Suggest alternative

Edit details

Our great sponsors

WorkOS - The modern identity platform for B2B SaaS

InfluxDB - Power Real-Time Data Analytics at Scale

SaaSHub - Software Alternatives and Reviews

Our great sponsors

bril		progge.rs
	Project
3	Mentions	4
458	Stars	33
-	Growth	-
9.0	Activity	0.0
23 days ago	Latest Commit	almost 2 years ago
Rust	Language	Rust
MIT License	License	Apache License 2.0

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.

bril

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

Bril: A Compiler Intermediate Representation for Learning
1 project | news.ycombinator.com | 30 Jun 2023

1 project | /r/ProgrammingLanguages | 28 Jun 2021

Seems to be part of this course, and an implementation is here.
Easy intermediate codes that have an interpreter
1 project | /r/Compilers | 22 Mar 2023

Cornell has Bril IR which they use for their compilers course. It comes with a bunch of tools, including an interpreter.

progge.rs

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

Automated test case generation in Proggers
1 project | /r/ProgrammingLanguages | 21 Nov 2021

Just tried to solve the "a farmer needs to move his fox, chicken, and corn across a river" riddle using the symbolic execution engine, and it worked! See here: https://github.com/skius/progge.rs/blob/master/analyzer-examples/fun/fox_chicken_corn.progge

1 project | /r/rust | 21 Nov 2021

I've been working on my program analyzer Proggers (see the previous post), and recently added symbolic execution into the mix - I thought some people here might find it interesting, or have other ideas!
Introducing Proggers! A simple toy programming language/static analyzer/compiler
3 projects | /r/rust | 11 Nov 2021

Hi guys! I'm happy to finally share my project of the past few months with this community! Proggers is intended as a playground for me/other interested people to play around with and learn about various static analyses.

What are some alternatives?

When comparing bril and progge.rs you can also consider the following projects:

sml-compiler - A compiler for Standard ML, somewhat

ariadne - Python library for implementing GraphQL servers using schema-first approach.

unseemly - Macros have types!

ariadne - A fancy diagnostics & error reporting crate

koto - A simple, expressive, embeddable programming language, made with Rust

molten - An LLVM compiler for an ML-like language (written in Rust)

tao - A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

llrl - An experimental Lisp-like programming language

tao - The TAO of cross-platform windowing. A library in Rust built for Tauri.

gleam - ⭐️ A friendly language for building type-safe, scalable systems!