Kim Stebel's repositories
Language:HTMLNOASSERTION000
Language:Scala000
Language:Scala000
flow-compiler
reads flow type definitions, creates Idris wrappers
Language:JavaScript000
Language:Scala000
000
fs2
Compositional, streaming I/O library for Scala
Language:ScalaMIT000
haskell-lambda
use aws lambda to run haskell binaries?
Language:Shell000
Idris-dev
A Dependently Typed Functional Programming Language
Language:HaskellNOASSERTION000
idris-docker
docker images for idris
BSD-3-Clause000
Language:Idris000
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
Language:IdrisBSD-2-Clause000
its-your-birthday
a URL shortener that doesn't suck
Language:DockerfileApache-2.0000
kamon-akka-streams
Kamon integration for Akka Streams
Language:ScalaApache-2.0000
KimStebel
Config files for my GitHub profile.
000
LoggingFuture
a wrapper around Future / Task that keeps the logging context
Apache-2.0000
Language:ScalaISC000
neural-style
some experiments with style transfer
Language:Lua000
neural-style-tf
TensorFlow (Python API) implementation of Neural Style
Language:PythonGPL-3.0000
000
play.g8
playframework giter8 template
Language:Scala000
rneu
react native stuff
Language:Objective-C000
simple-eventsourcing
A simple way of doing eventsourcing in Scala
Language:ScalaMIT000
simple-reverse-proxy
Sinple reverse http proxy based on HAproxy
Language:Shell000
Language:Jupyter Notebook000
tagged-typescript
tagged types for typescript
Language:TypeScript000
telegraf
The plugin-driven server agent for collecting & reporting metrics.
Language:GoMIT000