Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things

Organizations

@codebase-labs
Block or Report

Block or report paulyoung

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

14 stars written in Scala
Clear filter

Hybrid visual and textual functional programming.

Scala 7,305 317 Updated Jun 30, 2024

Arnold Schwarzenegger based programming language

Scala 6,708 290 Updated Jan 31, 2024

Your favorite language gets closer to bare metal.

Scala 4,459 362 Updated Jun 29, 2024

The Flix Programming Language

Scala 2,082 150 Updated Jun 30, 2024

TextTeaser is an automatic summarization algorithm.

Scala 1,972 251 Updated Feb 7, 2018

Generalized recursion schemes and traversals for Scala.

Scala 810 87 Updated Apr 1, 2020

The Daml smart contract language

Scala 789 198 Updated Jun 30, 2024

progressbar microservice

Scala 775 171 Updated Feb 18, 2019

The Functional and Reactive Web-Frontend Library for Scala.js

Scala 458 42 Updated Jun 24, 2024

A research language with effect handlers and lightweight effect polymorphism

Scala 301 14 Updated Jun 28, 2024

Text editor with elastic tabstops

Scala 92 5 Updated Jun 6, 2023

An onion architecture example

Scala 70 7 Updated Oct 17, 2016

Simple Rx Platform Game

Scala 19 8 Updated Jun 21, 2014