matteosb

matteosb's Stars

• ibraheemdev/modern-unix

  A collection of modern/faster/saner alternatives to common unix commands.

  30.3k40881767

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.6k4828.5k4.9k

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust21.4k81766362

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp18.9k2344.4k3k

• gleam-lang/gleam

  ⭐️ A friendly language for building type-safe, scalable systems!

  Language:Rust16.6k871.7k694

• sindresorhus/pure

  Pretty, minimal and fast ZSH prompt

  Language:Shell13k82393972

• wasp-lang/wasp

  The fastest way to develop full-stack web apps with React & Node.js.

  Language:TypeScript12.8k641k1.1k

• kysely-org/kysely

  A type-safe typescript SQL query builder

  Language:TypeScript9.8k27711251

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.6k1312.5k440

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix6.3k542.1k1.7k

• phoenixframework/phoenix_live_view

  Rich, real-time user experiences with server-rendered HTML

  Language:Elixir6k1681.6k900

• devias-io/material-kit-react

  React Dashboard made with Material UI’s components. Our pro template contains features like TypeScript version, authentication system with Firebase and Auth0 plus many other

  Language:TypeScript5.3k67542.4k

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell4.9k37811191

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4k661.6k349

• thechangelog/changelog.com

  Changelog is news and podcast for developers. This is our open source platform.

  Language:Elixir2.7k58253245

• hayes/pothos

  Pothos GraphQL is library for creating GraphQL schemas in typescript using a strongly typed code first approach

  Language:TypeScript2.3k12418154

• NixOS/nix.dev

  Official documentation for getting things done with Nix.

  Language:Python2.3k35281236

• hng/tech-coops

  A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

  2k1020167

• elixir-lsp/elixir-ls

  A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

  Language:Elixir1.4k34576189

• VSpaceCode/VSpaceCode

  Spacemacs like keybindings for Visual Studio Code

  Language:TypeScript1.4k25213133

• composewell/streamly

  High performance, concurrent functional programming abstractions

  Language:Haskell850211.1k63

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML8043515366

• elixir-toniq/norm

  Data specification and generation

  Language:Elixir684133829

• good-parts/aws-bootstrap

  A template for setting up an AWS environment from scratch.

  Language:Shell578141197

• mrluc/peerage

  Easy Elixir clusters, pluggable discovery. DNS-based (Kubernetes, Weave), UDP multicast, others.

  Language:Elixir39591020

• haskell-effectful/effectful

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

  Language:Haskell349147126

• teamwalnut/graphql-ppx

  GraphQL language primitives for ReScript/ReasonML written in ReasonML

  Language:OCaml2561216053

• thma/PolysemyCleanArchitecture

  Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

  Language:Haskell19011216

• vmarcosp/findr

  🔎 A simple and intuitive find & replace command-line interface.

  Language:Reason82120

• TheFirstAvenger/opentok_liveview

  Video Chat Room example using OpenTok and LiveView

  Language:Elixir720