yawaramin/lightweght-static-capabilities yawaramin/lightweght-static-capabilities

  • Stars
    star
    1
  • Language
    OCaml
  • Created about 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yawaramin/lightweght-static-capabilities
github

yawaramin

Reviews

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

Repository Details

Paper summary slides. Video:

More Repositories

1

re-web

Experimental web framework for ReasonML & OCaml
OCaml
263
star
2

fullstack-reason

A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp
Reason
166
star
3

scala-modules

Experimental implementations of ML-style modules in Scala
Scala
142
star
4

bucklescript-bindings-cookbook

Task-oriented guide to writing JavaScript bindings for BuckleScript
115
star
5

prometo

A type-safe JavaScript promise library for ReasonML
Reason
31
star
6

fsharp-typeclasses

F#
24
star
7

ggspec

A lightweight, functional-style unit testing framework for Guile/Scheme
Scheme
24
star
8

re-hyperapp

Almost zero-cost bindings for the https://github.com/hyperapp/hyperapp UI library.
OCaml
21
star
9

ocaml_sql_query

PoC of functional-style SQL query
OCaml
21
star
10

ocaml-decimal

Arbitrary-precision floating-point decimals
OCaml
21
star
11

lambdak

Full anonymous functions for Python
Python
19
star
12

dbc

Design-by-contract programming for JavaScript and ReasonML
OCaml
12
star
13

bs-webapi

(WIP) BuckleScript Web API Bindings
OCaml
10
star
14

stubbex

Stub and validate HTTP endpoints with ease.
Elixir
10
star
15

bs-hyperapp

DEPRECATED - see https://github.com/yawaramin/re-hyperapp for a more recent (experimental) attempt
OCaml
8
star
16

dream-html

Generate HTML markup from your Dream backend server
OCaml
6
star
17

bucklescript-cyclejs-test

OCaml
5
star
18

resilient-services

OCaml
5
star
19

learning-tydd-reason

Learning Type-Driven Development with ReasonML
OCaml
5
star
20

reason-workshop

HTML
4
star
21

aoc2020

Advent of Code 2020
OCaml
3
star
22

bs-pouchdb

OCaml
3
star
23

fake-io

A demonstration of controlling and testing the IO effect in Scala
Scala
3
star
24

fsharp-typed-json

JSON for F# using typeclasses.
F#
1
star
25

TDDMoney

My C# interpretation of the `Money' example from Kent Beck's Test-Driven Development by Example
C#
1
star
26

bs-doc-mgr

OCaml
1
star
27

fsharp-cond

Multi-Way Conditional Expression for F#
F#
1
star
28

webagent

HTTP request builder using FreePascal/Lazarus
Pascal
1
star
29

letops

OCaml standard library let operators
OCaml
1
star
30

TDDUnit

My interpretation in C# of the unit-testing framework example from Kent Beck's Test-Driven Development
C#
1
star