jessealama/proposal-temporal Fork of tc39/proposal-temporal

Provides standard objects and functions for working with dates and times.

Language: HTML - Size: 66.3 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

jessealama/proposal-decimal Fork of tc39/proposal-decimal

Built-in decimal datatype in JavaScript

Language: HTML - Size: 647 KB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

jessealama/engine262 Fork of engine262/engine262

An implementation of ECMA-262 in JavaScript

Size: 66.2 MB - Last synced: 25 days ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

jessealama/feedvalidator Fork of w3c/feedvalidator

W3C-customized version of the feedvalidator (forked from https://github.com/rubys/feedvalidator/)

Size: 6.4 MB - Last synced: 25 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

jessealama/ecma402 Fork of tc39/ecma402

Status, process, and documents for ECMA 402

Size: 4.38 MB - Last synced: 25 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

jessealama/standards-positions Fork of mozilla/standards-positions

Size: 1.92 MB - Last synced: 25 days ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

jessealama/decimal128

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

Language: JavaScript - Size: 1.52 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 6 - Forks: 5

jessealama/test262 Fork of tc39/test262

Official ECMAScript Conformance Test Suite

Language: JavaScript - Size: 98.6 MB - Last synced: 25 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

jessealama/ecma262 Fork of tc39/ecma262

Status, process, and documents for ECMA-262

Language: HTML - Size: 182 MB - Last synced: 25 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

jessealama/dialogues

Tools for exploring logic through Lorenzen dialogue games.

Language: Common Lisp - Size: 1.75 MB - Last synced: 25 days ago - Pushed: about 9 years ago - Stars: 9 - Forks: 0

jessealama/tptp4mizar

Theories in proofs, in TPTP and Mizar

Language: Perl - Size: 918 KB - Last synced: 25 days ago - Pushed: over 11 years ago - Stars: 3 - Forks: 0

jessealama/finkinfo

My fink work

Language: Makefile - Size: 808 KB - Last synced: 25 days ago - Pushed: almost 8 years ago - Stars: 2 - Forks: 0

jessealama/fink-mode

Editing Fink package description files in Emacs

Language: Emacs Lisp - Size: 160 KB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

jessealama/texweb

A web server for processing documents with TeX and friends

Language: Common Lisp - Size: 160 KB - Last synced: 25 days ago - Pushed: about 14 years ago - Stars: 2 - Forks: 0

jessealama/sturgis

Commandline web browser

Language: Racket - Size: 9.77 KB - Last synced: 25 days ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

jessealama/argo

JSON Schema Adventures

Language: Racket - Size: 574 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 17 - Forks: 1

jessealama/tptp-el

Work with TPTP files, theorem provers, and model finders

Language: Shell - Size: 328 KB - Last synced: 25 days ago - Pushed: over 12 years ago - Stars: 2 - Forks: 1

jessealama/laramie

HTML5 parser for Racket

Language: Racket - Size: 217 KB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 6 - Forks: 3

jessealama/incubator-agendas Fork of tc39/incubator-agendas

TC39 Incubator Call Agendas

Size: 206 KB - Last synced: 25 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

jessealama/decimal-playground Fork of Igalia/decimal-playground

Language: JavaScript - Size: 24.8 MB - Last synced: 25 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

jessealama/ejs

Exact JSON library for Racket

Language: Racket - Size: 29.3 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 6 - Forks: 1

jessealama/json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)

Language: Racket - Size: 32.2 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1

jessealama/cultural-anthropology

All packages discussed or mentioned in the book Language-oriented Programming in Racket: A Cultural Anthropology

Language: Racket - Size: 2.93 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

jessealama/agendas Fork of tc39/agendas

TC39 meeting agendas

Size: 44.8 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/html Fork of whatwg/html

HTML Standard

Size: 412 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/swindle Fork of racket/swindle

Language: Racket - Size: 294 KB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/graal Fork of oracle/graal

GraalVM: Run Programs Faster Anywhere :rocket:

Size: 276 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/graaljs Fork of oracle/graaljs

A ECMAScript 2022 compliant JavaScript implementation built on GraalVM. With polyglot language interoperability support. Running Node.js applications!

Size: 603 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/racket-crontab Fork of Bogdanp/racket-crontab

A cron-like scheduler for Racket.

Size: 22.5 KB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/racket-mode Fork of greghendershott/racket-mode

Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.

Size: 3.57 MB - Last synced: 25 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

jessealama/tipi

Theory development with TPTP

Language: Perl - Size: 734 KB - Last synced: 25 days ago - Pushed: about 7 years ago - Stars: 6 - Forks: 0

jessealama/bundle-preloading Fork of WICG/bundle-preloading

Bundles of multiple resources, to improve loading JS and the Web.

Size: 1.62 MB - Last synced: 25 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

jessealama/racket-lang-org Fork of racket/racket-lang-org

Language: Racket - Size: 110 MB - Last synced: 25 days ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

jessealama/ledger Fork of ledger/ledger

A double-entry accounting system with a command-line reporting interface

Language: C++ - Size: 16.3 MB - Last synced: 25 days ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

jessealama/racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018

Language: Racket - Size: 18.6 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 8 - Forks: 1

jessealama/unpoly Fork of unpoly/unpoly

Unobtrusive Javascript Framework for server-side applications

Size: 12.2 MB - Last synced: 25 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

jessealama/dallas

Experimental implementation of Darwen & Date's D database language

Language: Racket - Size: 6.84 KB - Last synced: 25 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

jessealama/gillette

XPath for Racket

Language: Racket - Size: 56.6 KB - Last synced: 26 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

jessealama/koyo Fork of Bogdanp/koyo

A web development toolkit for Racket.

Language: Racket - Size: 1.03 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/computational-metaphysics

Investigations in computational metaphysics

Size: 97.7 KB - Last synced: 25 days ago - Pushed: almost 13 years ago - Stars: 7 - Forks: 0

jessealama/vampire Fork of vprover/vampire

The Vampire Theorem Prover

Language: C++ - Size: 18.1 MB - Last synced: 25 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

jessealama/racket Fork of racket/racket

The Racket repository

Language: Scheme - Size: 303 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/ready-lisp Fork of jwiegley/ready-lisp

A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X

Language: Emacs Lisp - Size: 2.26 MB - Last synced: 25 days ago - Pushed: about 15 years ago - Stars: 1 - Forks: 0

jessealama/aquamacs-emacs Fork of aquamacs-emacs/aquamacs-emacs

The Aquamacs development repo

Language: Emacs Lisp - Size: 285 MB - Last synced: 25 days ago - Pushed: about 15 years ago - Stars: 1 - Forks: 0

jessealama/ansel

A World of Warcraft screenshot addon to rule them all.

Language: Lua - Size: 89.8 KB - Last synced: 25 days ago - Pushed: about 15 years ago - Stars: 1 - Forks: 0

jessealama/EviL Fork of xcthulhu/EviL

MSc Thesis: Evidentialist Logic

Size: 1.55 MB - Last synced: 25 days ago - Pushed: over 14 years ago - Stars: 0 - Forks: 1

jessealama/ikiwiki Fork of arpitjain11/ikiwiki

a wiki compiler

Language: Perl - Size: 12.6 MB - Last synced: 25 days ago - Pushed: over 14 years ago - Stars: 0 - Forks: 1

jessealama/ucw-sandbox

Learning about UnCommon Web

Language: Common Lisp - Size: 89.8 KB - Last synced: 25 days ago - Pushed: about 14 years ago - Stars: 0 - Forks: 0

jessealama/xsl4mizar Fork of JUrban/xsl4mizar

Language: XML - Size: 13.5 MB - Last synced: 25 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 1

jessealama/hunchentoot-utils

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

Language: Common Lisp - Size: 116 KB - Last synced: 25 days ago - Pushed: over 11 years ago - Stars: 2 - Forks: 1

jessealama/MPTP2 Fork of JUrban/MPTP2

Language: Prolog - Size: 6.29 MB - Last synced: 25 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 1

jessealama/mizarmode Fork of JUrban/mizarmode

mizarmode

Language: Emacs Lisp - Size: 390 KB - Last synced: 25 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 1

jessealama/ladr

LADR: Library for Automated Deduction Research

Language: C - Size: 1.77 MB - Last synced: 25 days ago - Pushed: about 12 years ago - Stars: 9 - Forks: 5

jessealama/dotemacs

My .emacs configuration

Language: Emacs Lisp - Size: 109 KB - Last synced: 25 days ago - Pushed: about 12 years ago - Stars: 1 - Forks: 1

jessealama/mwiki Fork of JUrban/mwiki

Language: Perl - Size: 15.7 MB - Last synced: 25 days ago - Pushed: over 12 years ago - Stars: 0 - Forks: 1

jessealama/ott2miz Fork of JUrban/ott2miz

Language: Emacs Lisp - Size: 108 KB - Last synced: 25 days ago - Pushed: over 12 years ago - Stars: 0 - Forks: 0

jessealama/sandbox

just playing around

Language: Shell - Size: 97.7 KB - Last synced: 25 days ago - Pushed: almost 13 years ago - Stars: 0 - Forks: 0

jessealama/hunchentoot Fork of edicl/hunchentoot

Web server

Language: Common Lisp - Size: 686 KB - Last synced: 25 days ago - Pushed: almost 13 years ago - Stars: 0 - Forks: 0

jessealama/jessealama.github.com

My github.com homepage

Size: 85.9 KB - Last synced: 25 days ago - Pushed: over 13 years ago - Stars: 0 - Forks: 0

jessealama/polyhedra

Logical research on combinatorial polyhedra (emphasizing Euler's polyhedron formula)

Language: Common Lisp - Size: 148 KB - Last synced: 25 days ago - Pushed: over 13 years ago - Stars: 0 - Forks: 0

jessealama/MMLLicense Fork of JUrban/MMLLicense

Licensing for the Mizar Mathematical Library

Language: TeX - Size: 219 KB - Last synced: 25 days ago - Pushed: over 13 years ago - Stars: 0 - Forks: 0

jessealama/validator Fork of validator/validator

The Nu Html Checker

Language: Java - Size: 23.2 MB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

jessealama/1d6

A Racket implementation of the Troll dice-rolling language

Language: Racket - Size: 4.88 KB - Last synced: 25 days ago - Pushed: over 4 years ago - Stars: 4 - Forks: 2

jessealama/typed-racket Fork of racket/typed-racket

Typed Racket

Language: Racket - Size: 9.55 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jessealama/web-server Fork of racket/web-server

Language: Racket - Size: 2.45 MB - Last synced: 25 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

jessealama/sql-lint Fork of joereynolds/sql-lint

An SQL linter

Size: 6.86 MB - Last synced: 25 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

jessealama/racket-chief Fork of Bogdanp/racket-chief

Chief runs Procfile-based applications. Like foreman, but written in Racket.

Size: 1.18 MB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

jessealama/remote-shell Fork of racket/remote-shell

Size: 26.4 KB - Last synced: 25 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

jessealama/minot

JSON Feed library for Racket

Size: 0 Bytes - Last synced: 25 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

jessealama/bozeman

XSLT for Racket

Language: Racket - Size: 1.95 KB - Last synced: 25 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

jessealama/distro-build Fork of racket/distro-build

Size: 919 KB - Last synced: 25 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

jessealama/pkg-build Fork of racket/pkg-build

Size: 350 KB - Last synced: 25 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

jessealama/rackunit Fork of racket/rackunit

Language: Racket - Size: 435 KB - Last synced: 25 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

jessealama/racket-pkg-website Fork of racket/racket-pkg-website

A frontend for the Racket Package Catalog.

Language: Racket - Size: 756 KB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

jessealama/ChezScheme Fork of cisco/ChezScheme

Chez Scheme

Language: Scheme - Size: 1.18 GB - Last synced: 25 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

jessealama/ce-el

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

Language: Emacs Lisp - Size: 1.14 MB - Last synced: 25 days ago - Pushed: almost 11 years ago - Stars: 4 - Forks: 2

jessealama/twilight-emacs Fork of crafterm/twilight-emacs

Twilight Theme for Emacs

Language: Emacs Lisp - Size: 75.2 KB - Last synced: 25 days ago - Pushed: over 12 years ago - Stars: 1 - Forks: 1

jessealama/rhtml5

Racket implementation of the HTML5 parsing algorithm.

Language: Racket - Size: 12.7 KB - Last synced: 25 days ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

jessealama/homebrew-core Fork of Homebrew/homebrew-core

🍻 Default formulae for the missing package manager for macOS

Size: 277 MB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

jessealama/racket-unix-signals Fork of tonyg/racket-unix-signals

Sending and handling Unix signals from Racket

Size: 21.5 KB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

jessealama/urlang Fork of soegaard/urlang

Urlang is JavaScript with a sane syntax

Language: Racket - Size: 500 KB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

jessealama/brag Fork of mbutterick/brag

Racket DSL for generating parsers from BNF grammars

Language: Racket - Size: 1.21 MB - Last synced: 25 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

jessealama/uri-template

URI Template (RFC 6570) for Racket

Language: Racket - Size: 33.2 KB - Last synced: 25 days ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 0

jessealama/racket-pkg-server Fork of tonyg/racket-pkg-server

Racket package catalog server setup scripts and ops documentation

Language: Shell - Size: 29.3 KB - Last synced: 25 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

jessealama/mizar-items

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

Language: Common Lisp - Size: 1.04 GB - Last synced: 25 days ago - Pushed: over 10 years ago - Stars: 6 - Forks: 2

jessealama/http Fork of greghendershott/http

Racket support for HTTP 1.1.

Language: Racket - Size: 339 KB - Last synced: 25 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

jessealama/txexpr Fork of mbutterick/txexpr

Convenience functions for working with X-expressions in Racket

Language: Racket - Size: 863 KB - Last synced: 25 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

jessealama/scikit-learn Fork of scikit-learn/scikit-learn

scikit-learn: machine learning in Python

Language: Python - Size: 72.5 MB - Last synced: 25 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

jessealama/ring Fork of ring-clojure/ring

Clojure HTTP server abstraction

Size: 11.6 MB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

jessealama/weierstrass

Language: Python - Size: 18.6 KB - Last synced: 25 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

jessealama/snowplow-javascript-tracker Fork of snowplow/snowplow-javascript-tracker

Snowplow event tracker for client-side JavaScript. Add analytics to your websites and web apps. (See also: snowplow-nodejs-tracker)

Language: JavaScript - Size: 2.59 MB - Last synced: 25 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

jessealama/snowplow Fork of snowplow/snowplow

Enterprise-strength web, mobile and event analytics, powered by Hadoop, Kinesis, Redshift and Elasticsearch

Language: Scala - Size: 24.1 MB - Last synced: 25 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

jessealama/cl-stripe Fork of antifuchs/cl-stripe

A (toy) library for interfacing with stripe.com from Common Lisp

Language: Common Lisp - Size: 158 KB - Last synced: 25 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

jessealama/xmlcalabash1 Fork of ndw/xmlcalabash1

XML Calabash, an XProc processor

Language: Java - Size: 26.9 MB - Last synced: 25 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

jessealama/exist Fork of eXist-db/exist

eXist Native XML Database and Application Platform

Language: Java - Size: 372 MB - Last synced: 25 days ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

jessealama/reveal.js Fork of hakimel/reveal.js

The HTML Presentation Framework

Size: 40.2 MB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

jessealama/clj-tagsoup Fork of nathell/clj-tagsoup

A HTML parser for Clojure.

Size: 165 KB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

jessealama/clj-http Fork of dakrone/clj-http

An idiomatic clojure http client wrapping the apache client. Offically supported version.

Size: 2.56 MB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

jessealama/Autobench Fork of menavaur/Autobench

Size: 228 KB - Last synced: 25 days ago - Pushed: about 12 years ago - Stars: 0 - Forks: 0

jessealama/lisp-unit Fork of OdonataResearchLLC/lisp-unit

A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.

Language: Common Lisp - Size: 322 KB - Last synced: 25 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0