jxxcarlson
Developer of Scripta.io and author of minilatex package. Love typed functional languages, especially Elm. Trying to learn homotopy type theory.
OffCenter StudioNew York City
Pinned Repositories
elm-editor
A pure Elm text editor based on Martin Janiczek's demo
elm-lisp
An experiment in writing parse and eval for a typed Lisp in Elm.
elm-markdown
Pure elm markdown parser with optional extensions for math, poetry, etc.
elm-review-codeinstaller
Tools for adding code to an existing codebase using `elm-review` rules
elm-tar
Elm library for creating tar files
elm-text-editor
A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.
minilatex
parse MiniLaTeX source text and render it into HTML
pdfServer2
A server to compile incoming LaTeX and return PDF. 165 loc Haskell
scripta-compiler
A compiler for L0, MicroLaTeX, and XMarkdown
scripta-tauri
Desktop app hosting the Scripta compiler
jxxcarlson's Repositories
jxxcarlson/elm-stat
Package for statistics and working with csv data. See demo app in the examples folder
jxxcarlson/meenylatex
Experimental version of MiniLatex package
jxxcarlson/elm-review-codeinstaller
Tools for adding code to an existing codebase using `elm-review` rules
jxxcarlson/DrumLanguage
jxxcarlson/elm-notebook-v2
jxxcarlson/codeinstaller-rulesets
Elm-review rule sets for installing code
jxxcarlson/kitchen-sink
Template for Lamdera projects
jxxcarlson/hex
A simple hex viewer for Elm Bytes values
jxxcarlson/lamdera-single-page-simple
jxxcarlson/scripta-compiler-v2
jxxcarlson/agda-course
jxxcarlson/auth
jxxcarlson/auth-starter-lamdera
Start app for lamdera with auth
jxxcarlson/counter-review-test
Test jxxcarlson/elm-review-codeinstaller
jxxcarlson/docs-scripta-dev
Developer info for Scripta
jxxcarlson/elm-notebook-poc
jxxcarlson/elm-review-install-code
Elm review rule to add magic token code to a Lamdera app
jxxcarlson/generative_cfg
Generate images using context-free grammars (svg output, turtle graphics, python)
jxxcarlson/jxxcarlson-blog
New blog in Lamdera + Elm Land
jxxcarlson/jxxcarlson.github.io
Some Elm Projects
jxxcarlson/magic-link
magic-link authentication
jxxcarlson/math-datasci-book
Code for data sci book
jxxcarlson/package-writer
Write Json files given a list of packages of direct dependencies (provide by Http request)
jxxcarlson/processing
Processing examples
jxxcarlson/qft
elementary qft computations
jxxcarlson/small-economy
jxxcarlson/small-economy-julia
jxxcarlson/snap-server
jxxcarlson/voronoi
Generate voronoi decompostions of the plane, save as svg files. Various algorithms for esthetics, e.g., color
jxxcarlson/WebLaTex
A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.