Skip to content
View calebegg's full-sized avatar
327 followers · 7 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Highlights

  • Pro

Organizations

@angular @google @hatlab

Block or report calebegg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • os Public

    Shell Updated Feb 14, 2025

  • toolbox-vscode Public

    Forked from owtaylor/toolbox-vscode

    Toolbox Visual Studio Code integration

    Shell Apache License 2.0 Updated Jan 17, 2025

  • bluefin-docs Public

    Forked from ublue-os/bluefin-docs

    Bluefin Documentation

    TypeScript Apache License 2.0 Updated Jan 10, 2025

  • astoriarunners Public

    Forked from maxdug/astoriarunners

    Website for local running club in Astoria, New York

    CSS Updated Jan 10, 2025

  • gts Public

    Forked from google/gts

    ☂️ TypeScript style guide, formatter, and linter.

    TypeScript Apache License 2.0 Updated Oct 10, 2024

  • cogito Public

    TypeScript 7 1 Apache License 2.0 Updated Aug 5, 2024

  • proof-pad Public

    A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

    TypeScript 10 2 Apache License 2.0 Updated Jul 15, 2024

  • acl2 Public

    Forked from acl2/acl2

    ACL2 System and Books as Maintained by the Community

    Common Lisp Other Updated Jul 8, 2024

  • website Public

    Code for my personal page at ca.lebe.gg

    TypeScript 1 Updated May 4, 2024

  • recipes Public

    5 2 Other Updated Jan 5, 2024

  • adventofcode Public

    TypeScript 1 Updated Dec 4, 2023

  • codewich Public

    Like a sandwich but code.

    HTML 79 8 Apache License 2.0 Updated Nov 20, 2023

  • pixeldance Public

    TypeScript 1 Apache License 2.0 Updated Oct 16, 2023

  • bright-earth Public

    Experiments in displaying weather data from NOAA's API, focusing on my area for now.

    TypeScript Apache License 2.0 Updated Feb 11, 2023

  • midnight-train Public

    An experiment in showing the NYC subway's real time arrival data in a super fast, dense, commuter-centric format.

    TypeScript 7 2 MIT License Updated Jan 9, 2023

  • untitled Public

    Forked from matthewkaney/text.management

    Untitled Live Code Editor

    TypeScript 1 GNU General Public License v3.0 Updated Oct 17, 2021

  • DefinitelyTyped Public

    Forked from DefinitelyTyped/DefinitelyTyped

    The repository for high quality TypeScript type definitions.

    TypeScript Other Updated Dec 27, 2020

  • proof-pad-classic Public

    An IDE for ACL2

    Java 21 4 GNU General Public License v3.0 Updated Aug 24, 2020

  • markdown-editor Public

    A markdown editor with some WYSIWYG editing conventions

    1 Updated Apr 10, 2013

  • 45-acl2-projects Public

    This started out as a blog where I was going to do one project a day for a year, but I was never really satisfied with it and I gave up on it early because it was way too much work. I still think s…

    Common Lisp 1 Updated Oct 25, 2012

  • try-acl2 Public

    A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.

    JavaScript 3 Updated Oct 4, 2012

  • pseudocode Public

    An alternate way of viewing code that adds more interesting characters to the mix in the hopes of helping find bugs and making code more skimable.

    CoffeeScript 8 2 Other Updated Aug 3, 2011