#
Type check and prove things
- Silicon Valley
- paulyoung.me
- @py
Block or Report
Block or report paulyoung
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Language: Scala
All languages
Agda
Arduino
Assembly
C
C#
C++
CSS
Clojure
CoffeeScript
Common Lisp
Coq
Cuda
Dart
Dhall
Dockerfile
Elixir
Elm
Emacs Lisp
F#
FreeMarker
Frege
GDScript
Go
Grammatical Framework
HTML
Hack
Haml
Haskell
Haxe
Idris
Java
JavaScript
JetBrains MPS
Jupyter Notebook
Kotlin
LLVM
Lean
LiveScript
Logos
Lua
MDX
Makefile
Markdown
Mathematica
Meson
Modelica
Mojo
Motoko
NCL
Nim
Nix
OCaml
Objective-C
Objective-C++
Objective-J
PHP
Perl
Perl 6
Processing
PureScript
Python
QML
Racket
ReScript
Reason
Rich Text Format
Roff
Ruby
Rust
SCSS
Scala
Scheme
Shell
Standard ML
Starlark
Svelte
Swift
TLA
Tcl
TeX
TypeScript
UrWeb
V
VHDL
Vala
Verilog
Vim Script
Vue
WebAssembly
XML
XSLT
ZIL
Zig
Nothing to show
Sort by: Most stars
Starred repositories
14
stars
written in Scala
Clear filter
Hybrid visual and textual functional programming.
Arnold Schwarzenegger based programming language
Your favorite language gets closer to bare metal.
TextTeaser is an automatic summarization algorithm.
Generalized recursion schemes and traversals for Scala.
The Functional and Reactive Web-Frontend Library for Scala.js
A research language with effect handlers and lightweight effect polymorphism