nightingale-m

nightingale-m's Stars

• slawlor/ractor

  Rust actor framework

  Language:Rust1.6k78

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.8k235

• melange-re/melange

  A mixture of tooling combined to produce JavaScript from OCaml & Reason

  Language:OCaml86152

• isaacvando/rtl

  A template language for Roc with compile time validation and tag unions

  Language:Roc233

• ppvan/psequel

  Run your SQL query

  Language:Vala671

• exercism/roc

  Exercism exercises in Roc.

  Language:Roc117

• k0kishima/golang-realworld-example-app

  An implementation of the Realworld backend API using Golang.

  Language:Go34

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript79388

• actix/examples

  Community showcase and examples of Actix Web ecosystem usage.

  Language:Rust3.7k807

• ThreeDotsLabs/watermill

  Building event-driven applications the easy way in Go.

  Language:Go8k413

• nats-io/nats.rs

  Rust client for NATS, the cloud native messaging system.

  Language:Rust1.1k172

• nats-io/nats-server

  High-Performance server for NATS.io, the cloud and edge native messaging system.

  Language:Go16.2k1.4k

• stadiamaps/ferrostar

  A FOSS navigation SDK built from the ground up for the future

  Language:Swift19426

• bionic-gpt/bionic-gpt

  BionicGPT is an on-premise replacement for ChatGPT, offering the advantages of Generative AI while maintaining strict data confidentiality

  Language:Rust2k191

• cmuratori/misc

  Clippings

  Language:C29955

• slint-ui/slint

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

  Language:Rust18k624

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C23.9k2.3k

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust34.1k1.1k

• Rust-GPU/rust-gpu

  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

  Language:Rust1.1k33

• VILA-Lab/ATLAS

  A principled instruction benchmark on formulating effective queries and prompts for large language models (LLMs). Our paper: https://arxiv.org/abs/2312.16171

  Language:Python93694

• DioxusLabs/blitz

  A radically modular HTML/CSS rendering engine

  Language:Rust2.2k49

• julienvincent/hunk.nvim

  A tool for splitting diffs in Neovim

  Language:Lua1214

• gulbanana/gg

  GG - Gui for JJ

  Language:Rust23710

• anyproto/anytype-ts

  Official Anytype client for MacOS, Linux, and Windows

  Language:TypeScript4.7k277

• rust10x/rust-web-app

  Code template for a production Web Application using Axum: The AwesomeApp Blueprint for Professional Web Development.

  Language:Rust49266

• bluegroundltd/rustic-witcher

  RusticWitcher is a powerful Rust-based toolkit designed for data export and anonymization tasks, specifically tailored for working with Parquet files stored on Amazon S3

  Language:Rust501

• E-xyza/zigler

  zig nifs in elixir

  Language:Elixir91446

• Dreamtowards/Ethertum

  A Voxel Multiplayer Sandbox Survival Game built in Rust & Bevy.

  Language:Rust40827

• Henauxg/bevy_quinnet

  A Client/Server game networking plugin using QUIC, for the Bevy game engine.

  Language:Rust26417

• notation-fun/notation

  A modern visual music notation, colorful and dynamic

  Language:Rust26813