Popular repositories Loading

1. prolog4j prolog4j Public

   Java 2

2. safelang safelang Public

   SAFE (Simple Atomic Finite Expressions) is a small programming language designed to be practical for everyday tasks while being amenable to formal verification and guaranteed to terminate.

   Java 1

3. karate-okhttp-signpost karate-okhttp-signpost Public

   OkHttp extension to Karate with OAuth1 support.

   Java

4. immutables immutables Public

   Forked from immutables/immutables

   Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included

   Java

5. fresco fresco Public

   Forked from stefanseefeld/fresco

   Fresco source code

   C++