johnynek/gottlob johnynek/gottlob

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Java
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
johnynek/gottlob
github

johnynek

Reviews

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

Repository Details

Bazel rules for the Frege programming language

More Repositories

1

bosatsu

A python-ish pure and total functional programming language
Scala
224
star
2

inliner

scala macros to inline idiomatic scala for maximum performance
Scala
104
star
3

brunet

a P2P library developed at the University of Florida
C#
45
star
4

ThinkingInMapReduce

Some tutorial-type code to introduce map-reduce style of programming
Scala
28
star
5

fastparse-cats

Cats instances for fastparse
Scala
19
star
6

buildcart

Implementation of the ideas in the Build Systems a la Carte paper
Scala
14
star
7

funcytown

Immutable/persistent functional data-structures which can transparently spill to disk.
Scala
13
star
8

ghissue

Command-line Github issues client
Haskell
11
star
9

unuhi

Scala
10
star
10

rules_tla

Bazel rules for TLA+
TLA
6
star
11

netmodeler

a C++ package for analyzing and modeling network/graph structure.
C++
6
star
12

hiona

Scala
4
star
13

dromanova

a simple Python-based download manager for Emusic
Python
2
star
14

sbt_for_bazel

Bazel repository rule to build remote sbt projects
Python
2
star
15

hyperbuild

Scala
2
star
16

go-router

A command line directory aliasing tool that integrates with https://github.com/maccman/go
Haskell
1
star