phenax

phenax's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell84.4k3.1k2375.6k

• WebAssembly/wabt

  The WebAssembly Binary Toolkit

  Language:C++6.5k157732663

• Lunakepio/Mario-Kart-3.js

  Language:JavaScript4.2k3725940

• echasnovski/mini.nvim

  Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

  Language:Lua4.2k20659160

• extism/extism

  The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

  Language:Rust3.9k31117101

• facebook/react-strict-dom

  React Strict DOM (RSD) is a subset of React DOM, imperative DOM, and CSS that supports web and native targets

  Language:JavaScript3k3754149

• Ph0enixKM/Amber

  💎 Amber the programming language compiled to bash

  Language:Rust2.9k184051

• zbirenbaum/copilot.lua

  Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

  Language:Lua2.4k917064

• quiet/quiet-js

  Transmit data with sound using Web Audio -- Javascript binding for libquiet

  Language:JavaScript2.2k3940149

• jtdaugherty/brick

  A declarative Unix terminal UI library written in Haskell

  Language:Haskell1.6k22275164

• quiet/quiet

  Transmit data with sound. Includes binaries for soundcards and .wav files.

  Language:C1.6k5356122

• dpayne/CodeGPT.nvim

  CodeGPT is a plugin for neovim that provides commands to interact with ChatGPT.

  Language:Lua75171946

• nix-community/nixd

  Nix language server, based on nix libraries [maintainer=@inclyc]

  Language:C++683915023

• mvllow/modes.nvim

  Prismatic line decorations for the adventurous vim user

  Language:Lua48162712

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq317102376

• ohbarye/pbt

  Property-Based Testing tool for Ruby, supporting multiple concurrency methods (Ractor, multiprocesses, multithreads).

  Language:Ruby177102

• carbon-steel/detour.nvim

  Use popup windows to navigate files/buffer and to contain shells/TUIs

  Language:Lua1432263

• bulletmark/edir

  Program to rename, remove, and copy files and directories using your editor

  Language:Python1306198

• marilari88/twoslash-queries.nvim

  Nvim lua plugin which adds support for twoslash queries into typescript projects

  Language:Lua129466

• re-xyr/cleff

  Fast and concise extensible effects

  Language:Haskell1033276

• artemave/workspace-diagnostics.nvim

  Populate diagnostics for all projects files, not just the opened ones.

  Language:Lua96362

• fdschmidt93/telescope-egrepify.nvim

  Variable user customization for telescope.live_grep to set rg flags on-the-fly

  Language:Lua922195

• surma/wasmphobia

  Language:Rust81143

• CrystalSplitter/ghcitui

  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

  Language:Haskell554171

• echasnovski/mini.diff

  Work with diff hunks. Part of 'mini.nvim' library.

  Language:Lua4820

• domasx2/testing-library-selector

  reusable selectors for @testing-library

  Language:TypeScript39145

• mroman42/vitrea

  Optics via the profunctor representation theorem

  Language:Haskell23643

• phenax/react-is-a-programming-language

  Proving react is a turing-complete programming language by making it do things it wasn't meant to do

  Language:TypeScript170

• nvim-neorg/rust-norg

  A robust parser for Norg for tools that don't use tree-sitter.

  Language:Rust71

• rakshans1/node-starter

  Node with nix

  Language:Nix1