Giters
John Baker (bakerjd99)

bakerjd99

Geek Repo

20

followers

51

following

111

stars

Location:Meridian Idaho

Home Page:https://analyzethedatanotthedrivel.org/

Github PK Tool:Github PK Tool

John Baker's repositories

jacks

Consolidated J language code referenced in my blog Analyze the Data not the Drivel

Language:HTMLLicense:UnlicenseStargazers:40Issues:3Issues:0

jod

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

Language:JLicense:NOASSERTIONStargazers:10Issues:3Issues:0

jlearn

Machine Learning Library, written in J

Language:JLicense:MITStargazers:2Issues:1Issues:0

jkernel

Jupyter Notebook / J Integration

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:1Issues:0Issues:0

joddoc

LaTeX source for jod.pdf

Language:PostScriptStargazers:1Issues:1Issues:0

joddumps

jod dictionary dump scripts

Language:JLicense:NOASSERTIONStargazers:1Issues:1Issues:0

nb2wp

Convert Jupyter notebook to plain HTML suitable for Wordpress.com

Language:CSSLicense:MITStargazers:1Issues:0Issues:0

Analyze-the-Data-not-the-Drivel

LaTeX and Markdown versions of my blog.

Language:TeXStargazers:0Issues:1Issues:0

Cyber-Roadkill

A collection of system killing hard to reproduce bugs.

Stargazers:0Issues:1Issues:0

formalising-mathematics-2022

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

Language:LeanStargazers:0Issues:0Issues:0

jackshacks

addons versions of selected J scripts from jacks

Language:JLicense:MITStargazers:0Issues:1Issues:0

hilberts-axioms

Stargazers:0Issues:0Issues:0

leanteach2020

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

Language:LeanStargazers:0Issues:0Issues:0

RSV-Challenge

RSV = Rows of String Values

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0