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 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
Showing results
PureScript 15 Updated Jan 14, 2026

Velox is a port of Tauri to Swift.

Swift 328 3 Updated Feb 17, 2026

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

JavaScript 3,801 114 Updated Feb 5, 2026

Duktape JavaScript engine for Erlang.

C 2 Updated Jan 3, 2026

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

TypeScript 52,412 13,381 Updated Mar 24, 2026

Koka language compiler and interpreter

Koka 3,845 197 Updated Mar 24, 2026

A purely functional programming language with first class types

Idris 2,896 401 Updated Mar 21, 2026

The pure asynchronous runtime for Scala

Scala 2,221 572 Updated Mar 24, 2026

The Scala 3 compiler, also known as Dotty.

Scala 6,220 1,152 Updated Mar 24, 2026

Core Erlang

TeX 1 Updated Jun 16, 2025

A PureScript web UI framework

PureScript 153 12 Updated Mar 13, 2026

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

PureScript 286 39 Updated Apr 27, 2025

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

PureScript 203 32 Updated Feb 2, 2026

A declarative, type-safe UI library for PureScript.

PureScript 1,588 217 Updated Sep 17, 2024

Erlang backend for the PureScript compiler

Haskell 353 9 Updated Sep 4, 2025

Erlang/Elixir integration for Swift Distributed Actors

Swift 189 4 Updated Jul 23, 2025

The first ever roguelike written in the OCaml type system

OCaml 95 4 Updated Apr 2, 2025

A strongly-typed language that compiles to JavaScript

Haskell 8,841 570 Updated Mar 24, 2026

DNS server, in Erlang.

Erlang 476 103 Updated Mar 24, 2026

A software raytracing engine written in WebGPU

C++ 374 9 Updated Feb 13, 2025

A free book: "The Science of Functional Programming"

TeX 1,480 100 Updated Mar 11, 2026

Heaps : Haxe Game Framework

Haxe 3,451 367 Updated Mar 23, 2026

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

Rust 288 4 Updated Mar 9, 2026

Haxe - The Cross-Platform Toolkit

Haxe 6,865 695 Updated Mar 24, 2026

ReScript bindings for React Native

ReScript 935 151 Updated Mar 24, 2026

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml 10,299 430 Updated Mar 8, 2026

A mixture of tooling combined to produce JavaScript from OCaml & Reason

OCaml 964 62 Updated Mar 22, 2026

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 7,366 482 Updated Mar 23, 2026

Elm-inspired Scala UI library.

Scala 395 31 Updated Nov 20, 2025
Next