aphoristicartist

aphoristicartist's Stars

• gleam-lang/gleam

  ⭐️ A friendly language for building type-safe, scalable systems!

  Language:Rust18.5k862k780

• Rigellute/spotify-tui

  Spotify for the terminal written in Rust 🚀

  Language:Rust17.7k76550530

• remkop/picocli

  Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

  Language:Java5k441.5k426

• babashka/babashka

  Native, fast starting Clojure interpreter for scripting

  Language:Clojure4.1k46863258

• apple/swift-collections

  Commonly used data structures for Swift

  Language:Swift3.9k159128306

• smol-rs/smol

  A small and fast async runtime for Rust

  Language:Rust3.8k73130158

• mtoyoda/sl

  SL(1): Cure your bad habit of mistyping

  Language:C3k5827429

• scalameta/metals

  Scala language server with rich IDE features 🚀

  Language:Scala2.1k482k338

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.6k233158

• wdv4758h/awesome-jit

  A curated list of awesome JIT frameworks, libraries, software and resources

  45830233

• zio/zio-prelude

  A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

  Language:Scala45742231114

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3742115668

• typelevel/cats-tagless

  Library of utilities for tagless final encoded algebras

  Language:Scala320194740

• spotify/magnolify

  A collection of Magnolia add-on modules

  Language:Scala170227626

• kitlangton/parallel-for

  Automatically parallelize your for-comprehensions at compile time.

  Language:Scala1306810

• gregorycollins/hashtables

  Mutable hash tables for Haskell, in the ST monad

  Language:Haskell127114936

• HarshilShah/Genie

  Recreating the macOS genie effect

  Language:Swift71401

• yaproq/yaproq

  A templating language in Swift

  Language:Swift62300

• zio/zio-optics

  Easily modify parts of larger data structures

  Language:Scala608512

• kitlangton/zio-slides

  An interactive, websocket-backed slide presentation app.

  Language:Scala487016

• snoyberg/routetype-rs

  Strongly typed routes for Rust

  Language:Rust35602

• stefan-hoeck/idris2-hedgehog

  An Idris port of the Haskell Hedghog library

  Language:Idris32663

• liufengyun/scala3-plugin-example

  Language:Scala24409

• deusaquilus/miniquill

  Miniature Quill implementation for Benchmarking and Study

  Language:Scala18304

• DylanZA/eslang

  Erlang style programming for C++

  Language:C++1520

• konrad1977/funswift

  A tiny package full of functional tools. Applicatives, Functor, Monads, and many more useful tools. Big focus on Effects, IO, Deferred, State, Reader, Writer monads.

  Language:Swift12211

• kubukoz/dropbox-demo

  A showcase project for my talk about typelevel stack architecture.

  Language:Scala9703

• konrad1977/FunNetworking

  Functional style networking.

  Language:Swift7200

• travisbrown/rust-jvm-demo

  Rust on the JVM

  Language:Scala630

• swoogles/Laminar_TimePicker

  Basic TimePicker that should easily fit into Laminar projects

  Language:Scala4200