Skip to content
View leoliu's full-sized avatar

Block or report leoliu

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Scala.js, the Scala to JavaScript compiler

Scala 4,708 408 Updated Jul 28, 2026

A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.

TypeScript 52,596 13,324 Updated Jul 31, 2026

Fluux Messenger: A fast, modern, cross-platform XMPP client for communities and organizations.

TypeScript 382 21 Updated Jul 31, 2026

Purescript compiler back-end for Lua

Haskell 61 6 Updated Jul 30, 2026

High-performance HTTP/1.1, HTTP/2, HTTP/3 server for Erlang/OTP 27+

Erlang 55 2 Updated Jul 16, 2026

Language implementation for PureScript

Rust 91 10 Updated Aug 2, 2026

Facebook's React on Scala.JS

Scala 1,659 231 Updated Jul 13, 2026
PureScript 16 1 Updated Jul 30, 2026

Velox is a port of Tauri to Swift.

Swift 350 6 Updated Jul 27, 2026

A components library built with Tailwind CSS that works with any web stack.

MDX 4,197 137 Updated Jul 21, 2026

Duktape JavaScript engine for Erlang.

C 2 Updated Jan 3, 2026

Koka language compiler and interpreter

Koka 3,996 214 Updated Aug 1, 2026

A purely functional programming language with first class types

Idris 3,027 409 Updated Jul 29, 2026

The pure asynchronous runtime for Scala

Scala 2,232 577 Updated Jul 30, 2026

The Scala 3 compiler, also known as Dotty.

Scala 6,285 1,173 Updated Aug 1, 2026

Core Erlang

TeX 1 Updated Jun 16, 2025

A PureScript web UI framework

PureScript 155 12 Updated May 27, 2026

An opinionated set of bindings to the React library, optimizing for the most basic use cases

PureScript 287 38 Updated Apr 27, 2025

An implementation of React hooks on top of purescript-react-basic

PureScript 203 31 Updated Apr 9, 2026

A declarative, type-safe UI library for PureScript.

PureScript 1,593 217 Updated Sep 17, 2024

Erlang backend for the PureScript compiler

Haskell 361 11 Updated Sep 4, 2025

Erlang/Elixir integration for Swift Distributed Actors

Swift 189 6 Updated Jul 23, 2025

The first ever roguelike written in the OCaml type system

OCaml 104 4 Updated Apr 2, 2025

A strongly-typed language that compiles to JavaScript

Haskell 8,891 573 Updated Jul 8, 2026

DNS server, in Erlang.

Erlang 491 104 Updated Aug 2, 2026

A software raytracing engine written in WebGPU

C++ 387 10 Updated Feb 13, 2025

A free book: "The Science of Functional Programming"

TeX 1,479 100 Updated Jul 29, 2026

Heaps : Haxe Game Framework

Haxe 3,493 373 Updated Jul 31, 2026

Productivity improvements for Rust ecosystem: warnings are skipped until errors are fixed, LSP-independent Neovim integration, etc.

Rust 293 5 Updated Jul 24, 2026
Next