Discover @jessealama Open Source projects

Jesse Alama (@jessealama)

jessealama

Stars
133
Global Rank 168,467 (Top 6 %)
Followers 98
Following 6
Registered almost 16 years ago
Most used languages

Racket
35.7 %

Common Lisp
17.9 %

Emacs Lisp
10.7 %

Perl
7.1 %

XSLT 7.1 %

Lua
3.6 %

XML 3.6 %

Shell
3.6 %

Makefile 3.6 %

JavaScript
3.6 %

C
3.6 %
Location 🇩🇪 Germany
Country Total Rank 9,312
Country Ranking

Racket
2

XML 9

Common Lisp
33

XSLT 109

Emacs Lisp
155

Perl
210

Makefile 570

Lua
1,253

C
2,280

JavaScript
4,676

Shell
6,223

argo

JSON Schema Adventures

decimal128

JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic

ladr

LADR: Library for Automated Deduction Research

dialogues

Tools for exploring logic through Lorenzen dialogue games.

racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018

computational-metaphysics

Investigations in computational metaphysics

ejs

Exact JSON library for Racket

tipi

Theory development with TPTP

mizar-items

Breaking up mizar articles into bits and computing relations among them.

laramie

HTML5 parser for Racket

1d6

A Racket implementation of the Troll dice-rolling language

uri-template

URI Template (RFC 6570) for Racket

ce-el

Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy

tptp4mizar

Theories in proofs, in TPTP and Mizar

sturgis

Commandline web browser

mizar-parser

Services for parsing Mizar texts

tptp-el

Work with TPTP files, theorem provers, and model finders

xslutils

Utilities for working with XSL files.

hunchentoot-utils

A collection of utilities for making websites with the hunchentoot web server

finkinfo

texweb

A web server for processing documents with TeX and friends

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)

rhtml5

Racket implementation of the HTML5 parsing algorithm.

ansel

A World of Warcraft screenshot addon to rule them all.

my-git

A home for all my exploratory git code

bozeman

XSLT for Racket

object-theory

Working with object theory, computationally

dotemacs

My .emacs configuration

xsl4tptp

Working with the XML forms of TPTP problems

fink-mode

Editing Fink package description files in Emacs

gilette