mm1995tk

mm1995tk's Stars

• remix-run/react-router

  Declarative routing for React

  Language:TypeScript53.6k8077.6k10.4k

• withastro/astro

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

  Language:TypeScript47.9k2024.9k2.5k

• TanStack/table

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

  Language:TypeScript25.4k1662.4k3.1k

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k1851472.6k

• vanilla-extract-css/vanilla-extract

  Zero-runtime Stylesheets-in-TypeScript

  Language:TypeScript9.7k30339296

• serde-rs/serde

  Serialization framework for Rust

  Language:Rust9.3k741.8k785

• jetify-com/devbox

  Instant, easy, and predictable development environments

  Language:Go9k39667214

• nadbm/react-datasheet

  Excel-like data grid (table) component for React

  Language:JavaScript5.4k47202454

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1891.2k1.2k

• WebAssembly/WASI

  WebAssembly System Interface

  Language:Rust5k207258258

• zio/zio

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

  Language:Scala4.1k1132.6k1.3k

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k59341167

• sagiegurari/cargo-make

  Rust task runner and build tool.

  Language:Rust2.6k14563128

• uber-go/mock

  GoMock is a mocking framework for the Go programming language.

  Language:Go2.4k1083125

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k3113881

• typelevel/skunk

  A data access library for Scala + Postgres.

  Language:Scala1.6k31147163

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k2924973

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell9271435187

• agentm/project-m36

  Project: M36 Relational Algebra Engine

  Language:Haskell9113428247

• upstash/redis-js

  HTTP based Redis Client for Serverless and Edge Functions

  Language:TypeScript7101113156

• haskell-beam/beam

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

  Language:Haskell58323335170

• atnos-org/eff

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

  Language:Scala582196778

• esumii/min-caml

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

  Language:OCaml496297117

• haskell-effectful/effectful

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

  Language:Haskell400158428

• perry-mitchell/ulidx

  ULID generator for NodeJS and the browser

  Language:JavaScript30372518

• fnwiya/japanese-rust-companies

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

  30223431

• pirapira/coq2rust

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

  Language:OCaml22216510

• kazu-yamamoto/recursion-drill

  Drill to study recursive programming in Haskell

  Language:Haskell12717110

• anton-k/mig

  Lightweight and composable servers for Haskell

  Language:Haskell703183

• bkomuves/toy-language-server

  Example language server (LSP) implementation for a toy language

  Language:Haskell60203