ゆきくらげ

ss. (WIP) Slide "generation" language and system, for those unsatisfied with both WYSIWYG editors and markup languages.

vize. Blazing fast Vue.js Toolchain. Compiler, Linter, Type Checker, Formatter, LSP, Story System, Editor Extensions. This already passed 10k+ test suites, includes real world E2E.

Claude-Code-Communication. Shell

Foundation. Formalization of Mathematical Logic

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

memento-lang. A compiler for language "memento"

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

enchant.js. A simple JavaScript framework for creating games and apps

Sys-Ebpf. 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.

purvasm-arc. The bytecode compiler and interpreter for PureScriprt

metaeditor. 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 once Unreal Engine is launched.

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

HasChor. Functional choreographic programming in Haskell

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

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

otp. 📫 Fault tolerant multicore programs with actors

proton. Haskell Profunctor Optics experiments

source-han-code-jp. Source Han Code JP | 源ノ角ゴシック Code

UniRx. Reactive Extensions for Unity

hott-ja. HoTT in Japanese

purescript-pmock. PureScript Mock

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

LazeNext. This is repository for Laze website

LazeCompiler. Lazeのコンパイラ

GlowShader. GLSL

purescript-webgpu. Low-level bindings to WebGPU

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

purescript. A strongly-typed language that compiles to JavaScript

purescript-halogen. A declarative, type-safe UI library for PureScript.

purescript-free-monad. Dhall

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

purescript-jelly-tic-tac-toe-samples. PureScript三目並べ開発用

spago. 🍝 PureScript package manager and build tool

purescript-deku. A PureScript web UI framework

purescript-fast-vect. Fast 🐆, type-safe vectors for Purescript

purescript-js-promise-aff. PureScript

purescript-halogen-realworld. Exemplary real world application built with PureScript + Halogen

purescript-leibniz. Leibniz Equality

purescript-node-fs. Node.js file I/O for purescript

purescript-exists. Existential types as a library

vscode-ide-purescript. PureScript IDE support for VS Code

purs-eval. A simple PureScript expression evaluation tool

zer0-star.dev. PureScript

purescript-uuidv4. PureScript

purescript-contravariant. Contravariant functors

turborepo. Build system optimized for JavaScript and TypeScript, written in Rust

purescript-spec. Testing framework for Purescript

purescript-tecton. CSS in PureScript

purescript-prelude. The PureScript Prelude

compiler. Cleaner, clearer JavaScript. A modern scripting language for the Web.

genelic. ⚖️ Generate a license file for your project easily

package-sets. PureScript packages for Spago and Psc-Package

local-typeclass-instances. PureScript

qkjudge. Rust

registry. Registry of PureScript packages and metadata about them

naive-ui. A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.

ash-api. アッシュちゃんの画像を返却するAPI

SomnaScript. Toy lang for my practice

binaryen.js. A buildbot for browser & Node.js builds of Binaryen, a compiler infrastructure and toolchain library for WebAssembly.

genorm. SQL Builder to prevent SQL mistakes using the Golang generics

trap-collection-launcher. TypeScript