Formalization of Mathematical Logic

Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"

A compiler for language "memento"

Japanese translation of "PureScript by Example"; 『実例によるPureScript』のコミュニティフォーク追従版

A simple JavaScript framework for creating games and apps

Sys::Ebpf is a pure-perl library to read, modify and load eBPF programs and attach them to various hooks in the Linux kernel.In other words eBPF Loader for written in Perl.

The bytecode compiler and interpreter for PureScriprt

The Pixel Streaming library for ReactJS facilitates the integration of Unreal Engine v.5 into a web browser. It enables the transmission of commands and receipt of callbacks from the stream server …

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

Functional choreographic programming in Haskell

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

📫 Fault tolerant multicore programs with actors

Haskell Profunctor Optics experiments

Source Han Code JP | 源ノ角ゴシック Code

Reactive Extensions for Unity

HoTT in Japanese

PureScript Mock

Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).

This is repository for Laze website

Lazeのコンパイラ

Low-level bindings to WebGPU

A modern file manager that helps users organize their files and folders.

A strongly-typed language that compiles to JavaScript

A declarative, type-safe UI library for PureScript.

Mastodonの機能開発への貢献と、様々な理由で標準搭載されていない機能を共有するためのリポジトリです。

PureScript三目並べ開発用