There are no reviews yet. Be the first to send feedback to the community and the maintainers!
pisces
♓️ Fish shell plugin that helps you to work with paired symbols in the command linefish_logo
🐠 Fish shell colorful ASCII-art logoliterator
📝 Generate literate-style markdown docs from your sourcesbrew-completions
🍺Fish shell completions for Homebrewatom-ide-scala
:atom: Scala & Dotty support for Atom IDE (🧟♂️ zombie repo)LoadFileToRepl
🔁A Sublime plugin that provides native commands to load current source file into SublimeREPLsbt-publish-more
📤 Publish artifacts to more than one repositoryscalafmt-probot
🤖Github bot for checking code formatting with scalafmtatom-sbt-client
🔧sbt server integration with Atom IDE UIsublime-idris
Sublime Text plugin for Idris language. MOVED TO @idris-hackerssparse-lin-alg
🔢Haskell library for sparse matrices and some linear algebra on them (UNMAINTAINED)scalajs-probot
🤖Scala.js facades for the Probot frameworkM-Cohomology
Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.github_app_auth
Tiny Deno library and CLI to authenticate as a GitHub App and generate installation tokensplanckman
⌨️Planck keyboard + Workman layout via QMK firmwarefish
My config files and functions for the fish-shellscalajs-atom-api
⚛️Scala.js facades for some Atom-related APIslaoshi_bot
老师 Telegram bot that integrates with Skritter to teach you Chinesescalajs-java-home
Scala.js facade for the find-java-home npm packagedotvim
Just some of my custom vim filesscala-adder
Answering SO question: "Generic Adder from Idris to Scala?"Love Open Source and this site? Check out how you can help us