laughedelic/sublime-idris

This repository has been archived on 26/Feb/2018
Stars
9
Rank 1,939,727 (Top 39 %)
Language
Python
License
GNU General Publi...
Created over 10 years ago
Updated over 9 years ago

laughedelic/sublime-idris

laughedelic

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Sublime Text plugin for Idris language. MOVED TO @idris-hackers

pisces

♓️ Fish shell plugin that helps you to work with paired symbols in the command line

fish_logo

🐠 Fish shell colorful ASCII-art logo

literator

📝 Generate literate-style markdown docs from your sources

brew-completions

🍺Fish shell completions for Homebrew

atom-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 SublimeREPL

sbt-publish-more

📤 Publish artifacts to more than one repository

scalafmt-probot

🤖Github bot for checking code formatting with scalafmt

atom-sbt-client

🔧sbt server integration with Atom IDE UI

sparse-lin-alg

🔢Haskell library for sparse matrices and some linear algebra on them (UNMAINTAINED)

scalajs-probot

🤖Scala.js facades for the Probot framework

M-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 tokens

planckman

⌨️Planck keyboard + Workman layout via QMK firmware

fish

My config files and functions for the fish-shell

scalajs-octokit

:octocat: Scala.js facades for octokit/rest.js (GitHub REST API v3)

scalajs-atom-api

⚛️Scala.js facades for some Atom-related APIs

laoshi_bot

老师 Telegram bot that integrates with Skritter to teach you Chinese

scalajs-java-home

Scala.js facade for the find-java-home npm package

dotvim

Just some of my custom vim files

scala-adder

Answering SO question: "Generic Adder from Idris to Scala?"