https://github.com/johnynek/bosatsu

A python-ish pure and total functional programming language

functional-programming language

Last synced: 01 Apr 2026

https://github.com/johnynek/inliner

scala macros to inline idiomatic scala for maximum performance

Last synced: 17 Mar 2025

https://github.com/johnynek/brunet

a P2P library developed at the University of Florida

Last synced: 21 Mar 2025

https://github.com/johnynek/thinkinginmapreduce

Some tutorial-type code to introduce map-reduce style of programming

Last synced: 09 Apr 2025

https://github.com/johnynek/fastparse-cats

Cats instances for fastparse

Last synced: 01 Jul 2025

https://github.com/johnynek/buildcart

Implementation of the ideas in the Build Systems a la Carte paper

Last synced: 09 Apr 2025

https://github.com/johnynek/funcytown

Immutable/persistent functional data-structures which can transparently spill to disk.

Last synced: 20 Jun 2025

https://github.com/johnynek/ghissue

Command-line Github issues client

Last synced: 09 Apr 2025

https://github.com/johnynek/unuhi

Last synced: 09 Apr 2025

https://github.com/johnynek/netmodeler

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

Last synced: 09 Apr 2025

https://github.com/johnynek/rules_tla

Bazel rules for TLA+

Last synced: 05 Oct 2025

https://github.com/johnynek/hiona

Last synced: 09 Apr 2025

https://github.com/johnynek/gottlob

Bazel rules for the Frege programming language

Last synced: 12 Sep 2025

https://github.com/johnynek/mergexo

an executive officer for github + agentic development

Last synced: 04 Apr 2026

https://github.com/johnynek/hyperbuild

Last synced: 27 Apr 2026

https://github.com/johnynek/dromanova

a simple Python-based download manager for Emusic

Last synced: 20 Apr 2026

https://github.com/johnynek/sbt_for_bazel

Bazel repository rule to build remote sbt projects

Last synced: 27 Apr 2026

https://github.com/johnynek/go-router

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

Last synced: 12 Jul 2025

https://github.com/johnynek/scala_bazel_builds

An experiment in source-only scala builds using bazel

Last synced: 16 Mar 2026

https://github.com/johnynek/istanbul

Immutable Functiaonal Datastructures for C++

Last synced: 13 Apr 2026

https://github.com/johnynek/bosatsu.vim

vim syntax files for bosatsu

Last synced: 03 Feb 2026

https://github.com/johnynek/cascading-fields

Learning Clojure.

Last synced: 21 Apr 2026

https://github.com/johnynek/maven_deps

A tool to fully enumerate and declare full transitive maven deps for use with Bazel

Last synced: 29 Jan 2026

https://github.com/johnynek/maniclass

Generate unique classes for each unique scala type.

Last synced: 07 Jul 2025

https://github.com/johnynek/expression

totally exploratory code for scala function macros with limited ASTs

Last synced: 13 Mar 2025

https://github.com/johnynek/mub_search_scala

code to search for mutually unbiased bases in scala

Last synced: 13 Apr 2026