walkie

walkie's Stars

• nektos/act

  Run your GitHub Actions locally 🚀

  Language:Go57k1681.2k1.4k

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust37.6k2966.1k3.7k

• nushell/nushell

  A new type of shell

  Language:Rust33.5k1906k1.7k

• folke/lazy.nvim

  💤 A modern plugin manager for Neovim

  Language:Lua15.9k46902384

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k105189412

• koekeishiya/skhd

  Simple hotkey daemon for macOS

  Language:C6.7k35358214

• pwr-Solaar/Solaar

  Linux device manager for Logitech devices

  Language:Python6.6k731.5k426

• christoomey/vim-tmux-navigator

  Seamless navigation between tmux panes and vim splits

  Language:Vim Script5.5k45288334

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k61352167

• rmcrackan/Libation

  Libation: Liberate your Library

  Language:C#3.1k47907164

• usagi/rust-memory-container-cs

  Rust Memory Container Cheat-sheet

  Language:Shell2.4k291080

• folke/neodev.nvim

  💻 Neovim setup for init.lua and plugin development with full signature help, docs and completion for the nvim lua API.

  Language:Lua2k913058

• crate-ci/cargo-release

  Cargo subcommand `release`: everything about releasing a rust crate.

  Language:Rust1.4k11321114

• monaqa/dial.nvim

  enhanced increment/decrement plugin for Neovim.

  Language:Lua85185413

• AlloyTools/org.alloytools.alloy

  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Language:Java73120195123

• SergioBenitez/Figment

  A hierarchical configuration library so con-free, it's unreal.

  Language:Rust66178836

• ozntel/file-tree-alternative

  This Obsidian Plugin allows users to have a different file explorer experience.

  Language:TypeScript479823535

• camspiers/lens.vim

  A Vim Automatic Window Resizing Plugin

  Language:Vim script47043116

• madsmtm/objc2

  Bindings to Apple's frameworks in Rust

  Language:Rust4401022452

• folke/lsp-colors.nvim

  🌈 Plugin that creates missing LSP diagnostics highlight groups for color schemes that don't yet support the Neovim 0.5 builtin LSP client.

  Language:Lua4385148

• rmcrackan/AudiobookHub

  Software resources for improving audiobook management

  43513412

• frame-lang/frame_transpiler

  Frame is a markdown language for creating state machines (automata) in Python as well as generating UML documentation.

  Language:Rust6531949

• walkie/Hagl

  A Haskell DSEL for experimental game theory.

  Language:Haskell36739

• steven-joruk/oslog

  A Rust wrapper around Apple's unified logging system.

  Language:Rust34256

• AdrienChampion/hashconsing

  A Rust hashconsing library.

  Language:Rust30396

• VariantSync/Vatras

  Agda Library to Study the Expressive Power of Languages for Static Variability

  Language:Agda137150

• FlavienBusseuil/bga-chrome-extension

  Checks your games in progress on boardgamearena.com

  Language:TypeScript72634

• walkie/tit-for-tat

  A game theory toolbox in Rust.

  Language:Rust5100

• walkie/modular-pcf

  Simply typed PCF with an ML-style module system.

  Language:Haskell3300

• walkie/Resource-DSL

  Resource DSL for the Immortals project.

  Language:Haskell1700