jgoldfar Goto Github PK

18s096-iap17

18.S096 course at MIT in IAP 2017

alpine-sbcl

Bootstrap build for SBCL in Alpine Linux, since it's not available for older Alpine versions

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

barenblattdemo

bglr.jl

bibserver

BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.

bibtex-markdown

A terrible little hack to integrate BibTeX into markdown in a way that is independent of the markdown parser.

bibtex2json

Simple BibTeX to JSON converter

bland

Recursive generics using FLINT

bonminbuilder

BinaryBuilder repo for bonmin and couenne

borg.jl

Julia interface to Borg

buildyourownlisp

Learn C and build your own programming language in under 1000 lines of code!

circleci-pipenv

clang.jl

Julia interface to libclang and C wrapper generator

cmstest-base-docker

Base image for tests run against a docs + code repo

coin

COIN-OR projects with CMake build support

compat.jl

cross-version compatibility

conda-docker

repository of docker images

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

couennebuilder

coverage.jl

Take Julia code coverage and memory allocation results, do useful things with them

cpp-serializers

Benchmark comparing various data serialization libraries (thrift, protobuf etc.) for C++

craftinginterpreters

Repository for the book "Crafting Interpreters"

csmith

Csmith, a random generator of C programs

css-grid-layout

CSS Grid Layout Examples

csv.jl

Utility library for working with CSV and other delimited files in the Julia programming language

dassl.jl

Solves stiff differential algebraic equations (DAE) using variable stepsize backwards finite difference formula (BDF)

dataproofer

A proofreader for your data

dierckx.jl

Julia package for 1-d and 2-d splines

diff-pdf

A simple tool for visually comparing two PDF files (Note: this repo is provided *as-is*; PRs are welcome and promptly handled, but please don’t expect any kind of support, including implementation of feature requests or fixes. If you’re not a developer, this tool is probably not for you.)