Skip to content
View jnape's full-sized avatar
62 followers · 2 following
  • Chicago

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

Highlights

  • Pro

Organizations

@palatable

Block or report jnape

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

kschuetz / gauntlet

Property-based testing for Java

Java 3 2 Updated Oct 3, 2022

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

Idris 890 55 Updated Aug 11, 2020

unisonweb / unison

A friendly programming language from the future

Haskell 6,742 310 Updated Oct 5, 2026

tweag / inline-java

Haskell/Java interop via inline Java code in Haskell modules.

Haskell 236 16 Updated Sep 18, 2025

JetBrains / Arend

The Arend Proof Assistant

Java 757 31 Updated Feb 25, 2025

vpatryshev / Categories

Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories

Scala 25 1 Updated Jun 25, 2025

polysemy-research / polysemy

♊ higher-order, no-boilerplate monads

Haskell 1,075 77 Updated Mar 15, 2025

scottdraves / flam3

the original fractal flame renderer and genetic language

Shell 439 80 Updated Sep 11, 2026

milessabin / si2712fix-plugin

Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6

Scala 46 9 Updated Dec 15, 2017