laughedelic/scala-adder laughedelic/scala-adder

  • Stars
    star
    1
  • Language
    Scala
  • License
    GNU Affero Genera...
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
laughedelic/scala-adder
github

laughedelic

Reviews

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

Repository Details

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

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

laoshi_bot

老师 Telegram bot that integrates with Skritter to teach you Chinese
Scala
1
star
20

scalajs-java-home

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

dotvim

Just some of my custom vim files
1
star