Yuan Ji's repositories
spring-boot-docker-mysql
Demo Spring Boot application running inside docker container linked with MySQL container
JiwhizBlogWeb
Jiwhiz Blog Web Application
elm-bootstrap-webpack-starter
A simple Webpack 2 setup for writing Elm apps with elm-bootstrap.
elm-ui-bootstrap
WIP: Rewrite Bootstrap with elm-ui
elm-workshop-beginner
Elm Workshop exercises
idris2-effects
Port effects package from Idris 1 to Idris2
idris2-hello-world
Simple Idris2 project to demo idris-2-docker
jhipster-elm-demo
WIP: Single Page Web Application with Java Spring Boot backend and Elm UI frontend.
jiwhiz.github.io
Website
SPLV20
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql
angular2-webpack-starter
An Angular 2 Starter kit featuring Angular 2 (Router, Http, Forms, Services, Tests, E2E, Dev/Prod), Karma, Protractor, Jasmine, Istanbul, TypeScript, TsLint, Ng2Lint, Hot Module Replacement, Typings, and Webpack by @AngularClass
cordova-plugin-camera
Mirror of Apache Cordova Plugin camera
elm-bootstrap
Responsive and reliable web apps with Elm and Twitter Bootstrap
elm-collage
Create interactive vector graphics and position them relative to each other
elm-matrix
Simple linear algebra library using flat-arrays
elm-webpack-starter
Boilerplate for developing Elm apps on Webpack
idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
jenkins-jnlp-slave
A JNLP Slave that enables docker build and fixes volume permissions on startup
material-start
Quick Starter Repository for Angular Material
ng2-bootstrap
Native Angular2 directives for Bootstrap
reinforcement-learning-an-introduction
Elm Implementation of Reinforcement Learning: An Introduction
sitemapgen4j
SitemapGen4j is a library to generate XML sitemaps in Java.
spring-boot
Spring Boot