• Stars
    star
    1
  • Language
    Scala
  • License
    GNU Affero Genera...
  • Created over 7 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

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

More Repositories

1

pisces

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

fish_logo

🐠 Fish shell colorful ASCII-art logo
Shell
113
star
3

literator

📝 Generate literate-style markdown docs from your sources
Scala
57
star
4

brew-completions

🍺Fish shell completions for Homebrew
Shell
49
star
5

atom-ide-scala

:atom: Scala & Dotty support for Atom IDE (🧟‍♂️ zombie repo)
Scala
48
star
6

LoadFileToRepl

🔁A Sublime plugin that provides native commands to load current source file into SublimeREPL
Python
25
star
7

sbt-publish-more

📤 Publish artifacts to more than one repository
Scala
23
star
8

scalafmt-probot

🤖Github bot for checking code formatting with scalafmt
Scala
15
star
9

atom-sbt-client

🔧sbt server integration with Atom IDE UI
JavaScript
9
star
10

sublime-idris

Sublime Text plugin for Idris language. MOVED TO @idris-hackers
Python
9
star
11

sparse-lin-alg

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

scalajs-probot

🤖Scala.js facades for the Probot framework
Scala
7
star
13

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.
Haskell
6
star
14

github_app_auth

Tiny Deno library and CLI to authenticate as a GitHub App and generate installation tokens
TypeScript
6
star
15

planckman

⌨️Planck keyboard + Workman layout via QMK firmware
C
3
star
16

fish

My config files and functions for the fish-shell
Shell
3
star
17

scalajs-octokit

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

scalajs-atom-api

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

scalajs-java-home

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

dotvim

Just some of my custom vim files
1
star
21

scala-adder

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