choyuri

choyuri's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown324k5.6k70930k

• invoke-ai/InvokeAI

  Invoke is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The solution offers an industry leading WebUI, and serves as the foundation for multiple commercial products.

  Language:TypeScript24.1k2063.2k2.5k

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.5k93258378

• TabbyML/tabby

  Self-hosted AI coding assistant

  Language:Rust22.5k1107811.1k

• tomnomnom/gron

  Make JSON greppable!

  Language:Go13.9k9187330

• Canop/broot

  A new way to see and navigate directory trees : https://dystroy.org/broot

  Language:Rust11k58712239

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k105189409

• ulid/spec

  The canonical spec for ulid

  9.9k9240173

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.2k1301971.2k

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3.1k2736190

• krispo/awesome-haskell

  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

  Language:Haskell3.1k13913172

• diku-dk/futhark

  :boom::computer::boom: A data-parallel functional programming language

  Language:Haskell2.4k661.4k168

• arnehilmann/markdeck

  presentations as code - author cool slide decks, text-only, offline-ready, collaborative

  Language:HTML1.3k224437

• GaloisInc/cryptol

  Cryptol: The Language of Cryptography

  Language:Haskell1.1k621.2k123

• tonymorris/fp-course

  Functional Programming Course

  Language:Haskell1k5017133

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall92329912217

• joe-re/sql-language-server

  SQL Language Server

  Language:TypeScript703810665

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell6633438057

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell5721625449

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell479211943

• haskell/lsp

  Haskell library for the Microsoft Language Server Protocol

  Language:Haskell3771719292

• bravit/hid-examples

  Examples to accompany the book "Haskell in Depth"

  Language:Haskell258201692

• codereport/CTfP-2021

  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.

  Language:Scala13112146

• Gabriella439/Haskell-Annah-Library

  Distributed programming language that desugars to Morte

  Language:Haskell911526

• Bodigrim/tasty-bench

  Featherlight benchmark framework, drop-in replacement for criterion and gauge.

  Language:Haskell8174812

• Ubspy/Haskell-Tetris

  Final project for EECS 368 written in Haskell

  Language:Haskell23100

• dhall-lang/vscode-dhall-lsp-server

  VSCode pluging that provides LSP support for the Dhall programming language

  Language:TypeScript175178

• AntidoteDB/antidote_aql

  Antidote SQL: a SQL interface for AntidoteDB

  Language:Erlang81400

• bikeshedder/nrg

  Language:Rust2

• sfluor/protohackers

  Code for https://protohackers.com/ challenges

  Language:Haskell120