michael-okeefe

followers

following

stars

Big Ladder Software

Denver, Colorado USA

https://bigladdersoftware.com

Organizations

bigladder

Michael O'Keefe's starred repositories

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Language:CSSNOASSERTION42159 1962 1164

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Language:TypeScriptNOASSERTION24184 125 3362

toml

Tom's Obvious, Minimal Language

MIT19323 322 517

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

Language:RustMIT18275 205 1731

overleaf

A web-based collaborative LaTeX editor

Language:JavaScriptAGPL-3.013538 209 1008

re-frame

A ClojureScript framework for building user interfaces, leveraging React

Language:ClojureMIT5408 147 296

bitwise

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

Language:CNOASSERTION5109 420 42

makepad

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Language:WebAssemblyMIT5002 90 127

WASI

WebAssembly System Interface

Language:RustNOASSERTION4748 204 253

lucet

Lucet, the Sandboxing WebAssembly Compiler.

Language:RustApache-2.04066 89 164

CPM.cmake

📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.

Language:CMakeMIT2758 34 233

FunctionalPlus

Functional Programming Library for C++. Write concise and readable C++ code.

Language:C++BSL-1.02068 72 116

redo

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

Language:PythonApache-2.01770 320

Guitar

Git GUI Client

Language:C++GPL-2.01566 44 105

schism

A self-hosting Scheme to WebAssembly compiler

Language:SchemeApache-2.01277 81 43

pitchfork

Pitchfork is a Set of C++ Project Conventions

Language:C++MIT1059 40 38

toml11

TOML for Modern C++

Language:C++MIT993 20 163

wasmer-java

☕ WebAssembly runtime for Java

Language:JavaMIT578 21 35

vbaDeveloper

Tools for development and version control of vba code

Language:VBAMIT506 82 40

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeMIT483 38 25

diagnostic-languageserver

diagnostic language server integrate with linters

Language:TypeScriptMIT408 3 65

valerie

Rust front-end framework for building web apps

Language:RustApache-2.0336 26 7

markdown

:notebook_with_decorative_cover: A package for converting and rendering markdown documents in TeX

Language:TeXLPPL-1.3c320 8 263

data.csv

CSV reader/writer to/from Clojure data structures

Language:ClojureEPL-1.0272 300

shadow-arborist

Exploring a CLJS world without React, see shadow-grove repo instead.

Language:Clojure197 340

cxxd

C/C++ language server implemented on top of Clang frontend.

Language:PythonGPL-3.0153 13 7

eppy

scripting language for E+, Energyplus

Language:PythonMIT151 36 348

cxxd-vim

Vim frontend implementation for cxxd server.

Language:Vim ScriptGPL-3.0102 10 7

REopt_API

The model for the REopt API, which is used as the back-end for the REopt Webtool (reopt.nrel.gov/tool), and can be accessed directly via the NREL Developer Network (https://developer.nrel.gov/docs/energy-optimization/reopt)

Language:PythonNOASSERTION84 10 83

Electrum

A model checker for relational first-order temporal specifications

Language:Java27 10 69