karmakarmeghdip

karmakarmeghdip's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python69.8k6.2k

• ethanniser/the-beth-stack

  An opinionated hypermedia-driven architecture for building web apps

  Language:TypeScript84581

• fyne-io/fyne

  Cross platform GUI toolkit in Go inspired by Material Design

  Language:Go25k1.4k

• amanbolat/awesome-go-with-stars

  Awesome-go list with stars. Automatically updated.

  71539

• artempyanykh/marksman

  Write Markdown with code assist and intelligence in the comfort of your favourite editor.

  Language:F#2k35

• borgo-lang/borgo

  Borgo is a statically typed language that compiles to Go.

  Language:Rust3.7k53

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k397

• aome510/spotify-player

  A Spotify player in the terminal with full feature parity

  Language:Rust3.5k153

• karmakarmeghdip/techiebutler_eval_proj

  Language:Go1

• awslabs/aws-lambda-rust-runtime

  A Rust runtime for AWS Lambda

  Language:Rust3.3k342

• juspay/nixos-unified-template

  A multi-platform Nix configuration template optimized as development environment, based on nixos-unified.

  Language:Nix16038

• DeterminateSystems/nix-installer

  Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

  Language:Rust2.2k57

• yogeshpaliyal/KeyPass

  KeyPass: Open Source Project & An Offline Password Manager. Store, manage, and take control securely.

  Language:Kotlin55672

• shahank42/side-projects

  The best place to showcase those old projects you spent days working on!

  Language:Svelte51

• akinomyoga/ble.sh

  Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.

  Language:Shell2.7k84

• Codesmith28/archConfig

  These are my arch linux dotfiles

  Language:Shell572

• glotlabs/gdrive

  Google Drive CLI Client

  Language:Rust1.5k90

• linsomniac/spotify_to_ytmusic

  Copy playlists and liked music from Spotify to YTMusic

  Language:Python2k119

• anderspitman/awesome-tunneling

  List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

  15.6k757

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k373

• nvim-telekasten/telekasten.nvim

  A Neovim (lua) plugin for working with a markdown zettelkasten / wiki and mixing it with a journal, based on telescope.nvim

  Language:Lua1.4k90

• wasmerio/wasmer

  🚀 The leading Wasm Runtime supporting WASIX and WASI

  Language:Rust18.9k807

• devcontainers/templates

  Repository for Dev Container Templates that are managed by Dev Container spec maintainers. See https://github.com/devcontainers/template-starter to create your own!

  Language:Shell988254

• Smithay/smithay

  A smithy for rusty wayland compositors

  Language:Rust1.9k163

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.4k310

• fjvallarino/monomer

  An easy to use, cross platform, GUI library for writing Haskell applications.

  Language:Haskell58944

• slint-ui/slint

  Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

  Language:Rust17.5k599

• warpdotdev/Warp

  Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.

  21.3k371

• SparklinStar/SparklinStar

  Config files for my GitHub profile.

  1

• Totodore/socketioxide

  A socket.io server implementation in Rust that integrates with the Tower ecosystem and the Tokio stack.

  Language:Rust1.2k55