Gregg Reynolds's repositories

bazel-crosscompile

Detailed examples demonstrating cross-platform building with Bazel

Language:PythonLicense:BSD-2-ClauseStargazers:12Issues:3Issues:1

doc.HoTT

HoTT for ordinary mortals

Language:TeXLicense:NOASSERTIONStargazers:3Issues:1Issues:0

codacology

Exploring the Coda Protocol

Language:ShellLicense:Apache-2.0Stargazers:1Issues:2Issues:0

dotfiles

dotfiles

Language:Emacs LispLicense:EPL-1.0Stargazers:1Issues:1Issues:0

boot-new

Generate new projects based on Boot Templates and/or Leiningen Templates!

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:1Issues:0

Cello

Higher level programming in C

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cli-matic

Compact, hands-free [sub]command line parsing library for Clojure.

Language:ClojureLicense:EPL-2.0Stargazers:0Issues:0Issues:0

clojure

The Clojure programming language

Language:JavaStargazers:0Issues:1Issues:0

clojure-deps-edn

A collection of useful configuration and aliases for deps.edn based projects

Stargazers:0Issues:0Issues:0

clojurescript-site

website for ClojureScript

License:EPL-1.0Stargazers:0Issues:1Issues:0

cuda-fixnum

Extended-precision modular arithmetic library that targets CUDA.

Language:CudaLicense:MITStargazers:0Issues:0Issues:0

dart_dartrix

Dartrix Template Library of Dart code.

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

dart_repl

Proof of concept REPL shell for Dart

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

dartrix

Dart Templating

Language:DartLicense:EPL-2.0Stargazers:0Issues:1Issues:0

dev_obazl

Documentation

Language:ShellLicense:EPL-2.0Stargazers:0Issues:0Issues:0

fletcher

Clojure to Dart compiler

Language:ClojureStargazers:0Issues:0Issues:0

flutter_dartrix

Dartrix templates for Flutter code

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

hello_dartrix

Dartrix template library of Hello World demos in several programming languages.

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

joker

Small Clojure interpreter, linter and formatter.

Language:GoLicense:EPL-1.0Stargazers:0Issues:0Issues:0

latex

Some LaTeX code snippets I've hacked together over the years.

Language:TeXStargazers:0Issues:0Issues:0

lustache

Mustache templates for Lua

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

mcl

a portable and fast pairing-based cryptography library

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mustache4dart

mustache implementation for Dart

Language:DartLicense:NOASSERTIONStargazers:0Issues:0Issues:0

s7

Scheme interpreter in C. This is a fork of https://cm-gitlab.stanford.edu/bil/s7; its only purpose is to serve as a home for manpages.

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:1Issues:0

safe_config

A safe and convenient way to read YAML configuration files.

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

sfsexp

Small Fast S-Expression Library

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tek_rules_ocaml

A Bazel Language Support Package for OCaml

Language:StarlarkLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tools.analyzer.jvm

additional jvm-specific passes for tools.analyzer

Language:ClojureStargazers:0Issues:0Issues:0

tools.emitter.jvm

A JVM bytecode generator for ASTs compatible with tools.analyzer(.jvm)

Language:ClojureStargazers:0Issues:0Issues:0

tools.reader

Clojure reader in Clojure

Language:ClojureStargazers:0Issues:0Issues:0