bakerjd99/jod external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

bakerjd99/jod

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/bakerjd99/jod)

Close

bakerjd99 / jodView on GitHubMore

• External links
• Readme badge

jod distribution source with commented versions in (jodijs) - tracks J Pacman versions

☆10Apr 19, 2025Updated 11 months ago

Alternatives and similar repositories for jod

Users that are interested in jod are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• bakerjd99 / jacks

  View on GitHub
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆39Dec 20, 2025Updated 3 months ago
• joebo / microj

  View on GitHub
  ☆14Mar 22, 2018Updated 8 years ago
• VincentToups / jkmeans

  View on GitHub
  An implementation of the clustering algorithm k-means in J.
  ☆13Nov 28, 2014Updated 11 years ago
• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 years ago
• mattjquinn / jcompiler

  View on GitHub
  A compiler for the J programming language
  ☆32Dec 22, 2024Updated last year
• mlochbaum / JtoLaTeX

  View on GitHub
  Write LaTeX-formatted documents using J evaluation
  ☆18Jun 16, 2016Updated 9 years ago
• intoverflow / Potential

  View on GitHub
  x86-64 assembly as a Haskell EDSL
  ☆36Sep 16, 2010Updated 15 years ago
• Pascal-J / type-system-j

  View on GitHub
  adds an optional type system to J language
  ☆21Feb 7, 2016Updated 10 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• Qqwy / Jux

  View on GitHub
  ☆14Jan 31, 2021Updated 5 years ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated 2 years ago
• rfitzp / Elements

  View on GitHub
  Greek/English version of Euclid's Elements
  ☆50Mar 4, 2026Updated 2 weeks ago
• wyc / snippets

  View on GitHub
  ☆52Apr 6, 2017Updated 8 years ago
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• serprex / Rue

  View on GitHub
  lang Thue + Regex
  ☆15Apr 20, 2022Updated 3 years ago
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last month
• delcypher / nsolv

  View on GitHub
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Dec 7, 2012Updated 13 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• alpha123 / vio

  View on GitHub
  A concise programming language that is fun to use
  ☆16Dec 24, 2015Updated 10 years ago
• vmchale / coronavirus

  View on GitHub
  covid-19 data in J
  ☆16Dec 14, 2021Updated 4 years ago
• jonghough / jlearn

  View on GitHub
  Machine Learning Library, written in J
  ☆57Nov 29, 2023Updated 2 years ago
• coderefinery / jupyter-retired

  View on GitHub
  Course material on Jupyter Notebooks.
  ☆15Feb 8, 2019Updated 7 years ago
• leanprover-community / logic_and_proof

  View on GitHub
  ☆13Sep 29, 2025Updated 5 months ago
• tangentstorm / syndir

  View on GitHub
  a syntax directed editor
  ☆17Apr 2, 2024Updated last year
• tikkanz / j-vscode

  View on GitHub
  Visual Studio Code support for J language
  ☆14Nov 21, 2025Updated 4 months ago
• mit-plv / bedrock

  View on GitHub
  Coq library for verified low-level programming
  ☆64Jun 15, 2017Updated 8 years ago
• arthurpaulino / lean2md

  View on GitHub
  ☆22Nov 23, 2023Updated 2 years ago
• leanprover / lean4export

  View on GitHub
  Plain-text declaration export for Lean 4
  ☆28Mar 9, 2026Updated last week
• shevek / polyglot

  View on GitHub
  The Polyglot LR parser generator
  ☆13Dec 20, 2021Updated 4 years ago
• leroycep / proptest.zig

  View on GitHub
  Property testing library for zig
  ☆15Feb 4, 2025Updated last year
• embecosm / gnu-superopt

  View on GitHub
  The GNU Superoptimizer
  ☆27Sep 19, 2014Updated 11 years ago
• NattyNarwhal / MailTools

  View on GitHub
  provisional name for macOS mail mailing list aids
  ☆16Oct 17, 2024Updated last year
• mlochbaum / ILanguage

  View on GitHub
  An interpreter for a J-inspired language
  ☆93Jul 4, 2023Updated 2 years ago
• chrishoffman / smugpy

  View on GitHub
  Python library for the SmugMug API
  ☆35Dec 18, 2013Updated 12 years ago
• NalaGinrut / guile-csv

  View on GitHub
  Guile csv reader
  ☆14Jun 1, 2015Updated 10 years ago
• marekrei / smuploader

  View on GitHub
  Upload / download library for SmugMug.com
  ☆12Feb 5, 2022Updated 4 years ago
• alehander92 / hatlog

  View on GitHub
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Jun 10, 2016Updated 9 years ago
• adhawkins / smugmugv2py

  View on GitHub
  Python library for the SmugMug v2 API
  ☆12Mar 19, 2019Updated 7 years ago
• makestuff / lx9

  View on GitHub
  HW: A beermat-sized PCB with FPGA, SDRAM, Hi-Speed USB & 50 FPGA I/Os
  ☆32Mar 3, 2014Updated 12 years ago