Skip to content
View KimStebel's full-sized avatar

Block or report KimStebel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Rust 1 Updated Mar 3, 2022

A strongly-typed language that compiles to JavaScript

Haskell 8,898 574 Updated Jul 8, 2026

In-browser Markdown editor

JavaScript 23,058 2,810 Updated Jul 4, 2023

an atom package to disable git integration

JavaScript 1 Updated Oct 29, 2017

Simple event sourcing for Scala

Scala 7 2 Updated Aug 23, 2017

Build truly native cross platform (web,ios,android) apps using scalajs and react, react-native

Scala 636 29 Updated Sep 1, 2025

build native mobile applications using scala.js and react-native - please check https://github.com/chandu0101/sri where future work is going to take place :)

Scala 80 11 Updated Apr 17, 2017

Grafter is a library to configure and wire Scala applications

Scala 235 23 Updated Jan 17, 2019

Idris on the JVM

Idris 482 28 Updated Aug 11, 2026

A Scala kernel for Jupyter

Scala 1,624 248 Updated Aug 6, 2026

A collection of services with great free tiers for developers on a budget. Sponsored by Mockoon, the best mock API tool. https://mockoon.com

12,388 559 Updated Aug 4, 2026

Parser combinators for Idris

Idris 245 43 Updated Apr 11, 2019

Js libraries for idris

Idris 49 6 Updated Feb 2, 2020

A scala repl which uses a web terminal as its interactive console, and it can be used as an inspector/cli for running applications, a hot code modification mechanism.

JavaScript 40 9 Updated Oct 15, 2016

Simple node utility to strip out <code> and <pre> tag content from files.

JavaScript 1 Updated May 20, 2016

Example projects to help you quickly get started with BigInsights

Jupyter Notebook 7 4 Updated Oct 5, 2017

Jupyter javascript plugin for static sites

JavaScript 262 42 Updated Sep 28, 2017

Jupyter Interactive Notebook

Jupyter Notebook 13,298 5,734 Updated Aug 11, 2026

A pure-Java Markdown processor based on a parboiled PEG parser supporting a number of extensions

Java 1,290 208 Updated Dec 14, 2016

A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

HTML 131,672 13,817 Updated Aug 13, 2026

A purely functional Scala client for CouchDB

Scala 64 17 Updated Nov 13, 2018

Connect a Scala REPL to running JVM processes without any prior setup

Java 198 11 Updated Jan 30, 2019

Vim Scala IDE (VimSIde) built upon ENSIME

Vim Script 150 18 Updated Oct 24, 2013

Proof Of Concept: A fully type safe version of Anorm

Scala 43 1 Updated Jan 17, 2013

an asynchronous Scala library for CouchDB/BigCouch based on Spray.

Scala 20 18 Updated Jun 20, 2014

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Frege 3,704 148 Updated Jul 11, 2026

password generator using sha2 and master password hashed with account name

Scala 1 Updated Jul 30, 2012

csv library for scala 2.10 using macros and hlists

Scala 1 Updated Jul 24, 2012

It's a blog.

Scala 3 8 Updated Feb 6, 2013
Next