• Stars
    star
    57
  • Rank 522,947 (Top 11 %)
  • Language
    Scala
  • License
    GNU Affero Genera...
  • Created about 11 years ago
  • Updated almost 7 years ago

Reviews

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

Repository Details

📝 Generate literate-style markdown docs from your sources

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

brew-completions

🍺Fish shell completions for Homebrew
Shell
49
star
4

atom-ide-scala

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

LoadFileToRepl

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

sbt-publish-more

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

scalafmt-probot

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

atom-sbt-client

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

sublime-idris

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

sparse-lin-alg

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

scalajs-probot

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

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
13

github_app_auth

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

planckman

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

fish

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

scalajs-octokit

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

scalajs-atom-api

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

laoshi_bot

老师 Telegram bot that integrates with Skritter to teach you Chinese
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