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,713 408 Updated Aug 15, 2026

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

TypeScript 52,618 13,323 Updated Aug 18, 2026

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

TypeScript 395 23 Updated Aug 18, 2026

Purescript compiler back-end for Lua

Haskell 62 6 Updated Jul 30, 2026

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

Erlang 57 2 Updated Aug 12, 2026

Language implementation for PureScript

Rust 93 10 Updated Aug 16, 2026

Facebook's React on Scala.JS

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

Velox is a port of Tauri to Swift.

Swift 351 6 Updated Jul 27, 2026

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

MDX 4,245 139 Updated Jul 21, 2026

Duktape JavaScript engine for Erlang.

C 2 Updated Jan 3, 2026

Koka language compiler and interpreter

Koka 4,029 217 Updated Aug 15, 2026

A purely functional programming language with first class types

Idris 3,040 416 Updated Aug 18, 2026

The pure asynchronous runtime for Scala

Scala 2,233 578 Updated Aug 10, 2026

The Scala 3 compiler, also known as Dotty.

Scala 6,291 1,173 Updated Aug 18, 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 204 31 Updated Apr 9, 2026

A declarative, type-safe UI library for PureScript.

PureScript 1,596 217 Updated Sep 17, 2024

Erlang backend for the PureScript compiler

Haskell 360 11 Updated Aug 4, 2026

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,898 574 Updated Jul 8, 2026

DNS server, in Erlang.

Erlang 491 104 Updated Aug 15, 2026

A software raytracing engine written in WebGPU

C++ 389 10 Updated Feb 13, 2025

A free book: "The Science of Functional Programming"

TeX 1,480 100 Updated Aug 5, 2026

Heaps : Haxe Game Framework

Haxe 3,498 375 Updated Aug 18, 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