joescii/type-prog joescii/type-prog

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Scala
  • License
    Apache License 2.0
  • Created almost 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joescii/type-prog
github

joescii

Reviews

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

Repository Details

An attempt to grok type-level programming in Scala

More Repositories

1

lift-ng

lift-ng is the most powerful, most secure AngularJS backend available today
Scala
93
star
2

snmp4s

Idiomatic type-safe Scala DSL for SNMP
Scala
23
star
3

sbt-js-test

sbt plugin for running JavaScript tests on the JVM with browser APIs
JavaScript
13
star
4

prose-and-conz

Source code for my blog, prose :: and :: conz
HTML
7
star
5

omniprop

Scala DSL for unifying JVM property libraries in a type-safe manner
Scala
6
star
6

type-prog-impress

impress.js presentation of type-prog
JavaScript
6
star
7

lift-jetty-cluster

Sample Lift project that runs embedded Jetty in a cluster
Scala
5
star
8

lift-ng-js

lift-ng-js is a convenient packaging of AngularJS modules for Lift
Scala
4
star
9

j2js-i18n

Converts java.util.ResourceBundle into JavaScript
Scala
4
star
10

presentera.g8

g8 template for making awesome presentations with Presentera
JavaScript
4
star
11

aws-sandbox

This project defines an AWS sandbox infrastructure with Terraform.io
HCL
3
star
12

scala-oss.g8

g8 template for creating an open-source Scala project
Scala
3
star
13

aws-terraform-modules

A collection of general-purpose Terraform modules for AWS infrastructure
HCL
3
star
14

http4s-blank

Blank project for http4s
Scala
3
star
15

scalaz-stream-elb-logs

Demo of using scalaz-stream for parsing AWS ELB access logs
Scala
2
star
16

lift-ng-chat-impress

15-Minute Chat with lift-ng impress.js presentation
JavaScript
2
star
17

lift-ng.g8

g8 template for getting off the ground with Scala, Lift, and AngularJS
Scala
2
star
18

presentera

Make awesome presentations with Presentera
JavaScript
2
star
19

lift-blank-heroku

The lift_blank 2.6 project dressed for Heroku deployment
Scala
1
star
20

reactive-js

My presentation of reactive programming in JavaScript
JavaScript
1
star
21

scalatypeprog

Leanpub source for my book, Scala Type-Level Programming: From the Bottom Up
1
star
22

lisp-compiler

My first attempt at compiler construction
Scala
1
star
23

fp-renaissance

The Renaissance of Functional Programming (Presentation)
JavaScript
1
star
24

VarTuple

An example of creating a variable-length tuple
Scala
1
star
25

lift-cluster

Lift module to hook Lift's stateful features into the underlying container for clustering
Scala
1
star
26

htmlunit-test-engine-poc

Quick and dirty proof-of-concept of using HtmlUnit as a brower-API-equipped JS engine
JavaScript
1
star