Skip to content
View mm1995tk's full-sized avatar
Block or Report

Block or report mm1995tk

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results

Project: M36 Relational Algebra Engine

Haskell 876 47 Updated Jul 22, 2024

HTTP based Redis Client for Serverless and Edge Functions

TypeScript 647 50 Updated Jul 24, 2024

ULID generator for NodeJS and the browser

JavaScript 252 14 Updated May 8, 2024

Lightweight and composable servers for Haskell

Haskell 70 3 Updated Nov 29, 2023

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Haskell 353 28 Updated Jul 24, 2024

The web framework for content-driven websites. ⭐️ Star to support our work!

TypeScript 44,438 2,311 Updated Jul 24, 2024

♊ higher-order, no-boilerplate monads

Haskell 1,026 71 Updated Jul 7, 2024

A type-safe, non-TH Haskell SQL library and ORM

Haskell 575 169 Updated Jul 9, 2024

moved from https://sourceforge.net/p/min-caml/code/

OCaml 480 114 Updated Oct 11, 2023

Example language server (LSP) implementation for a toy language

Haskell 60 3 Updated Jul 21, 2021

Lightweight, modular, and extensible library for functional programming.

Scala 5,211 1,193 Updated Jul 23, 2024

Instant, easy, and predictable development environments

Go 7,965 191 Updated Jul 24, 2024

Koka language compiler and interpreter

Haskell 3,176 153 Updated Jul 17, 2024

mal - Make a Lisp

Assembly 9,934 2,515 Updated Jun 26, 2024

Industrial-strength monadic parser combinator library

Haskell 902 84 Updated Jul 11, 2024

Excel-like data grid (table) component for React

JavaScript 5,374 456 Updated Mar 1, 2023

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Scala 4,034 1,255 Updated Jul 25, 2024

A data access library for Scala + Postgres.

Scala 1,564 157 Updated Jul 17, 2024

Eff monad for cats - https://atnos-org.github.io/eff

Scala 577 78 Updated Jul 14, 2024

A safe, easy systems language

Rust 1,881 78 Updated Jul 7, 2024

Declarative routing for React

TypeScript 52,559 10,195 Updated Jul 25, 2024

Drill to study recursive programming in Haskell

Haskell 127 10 Updated May 24, 2024

Coq to Rust program extraction. The whole tree is on the original Coq code base.

OCaml 218 10 Updated Dec 24, 2014

Zero-runtime Stylesheets-in-TypeScript

TypeScript 9,416 282 Updated Jul 25, 2024

🤖 Headless UI for building powerful tables & datagrids for TS/JS - React-Table, Vue-Table, Solid-Table, Svelte-Table

TypeScript 24,575 3,036 Updated Jul 25, 2024

日本で Rust を利用している会社一覧

252 27 Updated Apr 15, 2024

Rust task runner and build tool.

Rust 2,472 123 Updated Jul 24, 2024

Serialization framework for Rust

Rust 8,860 750 Updated Jul 23, 2024

Rust / Wasm framework for creating reliable and efficient web applications

MDX 30,316 1,415 Updated Jul 25, 2024

The Rust package manager

Rust 12,339 2,335 Updated Jul 25, 2024
Next