Skip to content
View ceberly's full-sized avatar
19 followers · 11 following
  • Middlebury Vermont

Sponsoring

@awesomekling

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx3

Highlights

  • Pro

Block or report ceberly

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

  • cdedb Public

    A database from scratch

    C MIT License Updated Dec 15, 2023

  • vim-sensible Public

    Forked from tpope/vim-sensible

    sensible.vim: Defaults everyone can agree on

    Vim Script Updated Nov 21, 2023

  • plfa-agda Public

    My work for the PLFA agda site

    Agda MIT License Updated Nov 6, 2023

  • tinyprograms Public

    Forked from eatonphil/tinyprograms

    Tiny Programs: Rosetta code for implementations

    Python 3 MIT License Updated Aug 29, 2023

  • teensy_spark Public

    Teensy (3.2) example with SPARK

    Assembly MIT License Updated Aug 21, 2023

  • ceberly.github.io Public

    My vanity page

    HTML Updated Aug 4, 2023

  • gossip-glomers Public

    My answers to the fly dot io "Gossip Glomers" challenges

    Go Updated Jun 30, 2023

  • cpplox Public

    Crafting Interpreters

    C++ Updated Jun 19, 2023

  • sparkmemory Public

    Some example memory allocators in Ada / SPARK

    Ada 2 Updated May 16, 2023

  • cmi-blog Public

    Ruby Updated Apr 12, 2023

  • aoc22_spark Public

    Advent of Code 2022 in (Ada) Spark

    Ada Updated Dec 30, 2022

  • aoc22 Public

    Advent of Code 2022

    C Updated Dec 19, 2022

  • imgui Public

    Forked from ocornut/imgui

    Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

    C++ MIT License Updated Dec 10, 2022

  • tinyprof Public

    Tiny profiler

    C Updated Aug 30, 2022

  • ssmm Public

    Several species of memory managers (grooving together)

    C++ Updated Jul 10, 2022

  • fast-check Public

    Forked from dubzzz/fast-check

    Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

    TypeScript MIT License Updated May 5, 2022

  • wasm-rust-raytracing-in-one-weekend Public

    Rust and raw-ish Wasm Ray Tracing in One Weekend implementation

    Rust MIT License Updated Feb 19, 2022

  • aoc2021 Public

    Advent of Code 2021

    Assembly 3 Updated Jan 10, 2022

  • chune Public

    Cross plaHtform mUsic listeNing E

    C++ Updated Dec 21, 2021

  • focus Public

    Forked from jamii/focus

    Minimalist text editor

    Zig Updated Nov 16, 2021

  • imp Public

    Forked from jamii/imp

    A relational programming language built around incremental maintenance.

    Zig Updated Nov 16, 2021

  • Idris2 Public

    Forked from idris-lang/Idris2

    A purely functional programming language with first class types

    Idris Other Updated Mar 22, 2021

  • AudioHit Public

    Forked from icaroferre/AudioHit

    Rust-based CLI for batch processing audio samples.

    Rust MIT License Updated Aug 3, 2020

  • dotfiles Public

    Updated Mar 27, 2020

  • fuzzer-test-suite Public

    Forked from google/fuzzer-test-suite

    Set of tests for fuzzing engines

    C Apache License 2.0 Updated Sep 3, 2019

  • cpython Public

    Forked from python/cpython

    The Python programming language

    Python Other Updated May 19, 2019

  • azure-batch-docker-container Public

    Forked from timfpark/azure-batch-docker-container

    Sample code that executes a docker container under Azure Batch for every file in an input container.

    Python MIT License Updated Dec 14, 2018

  • tensorflow Public

    Forked from tensorflow/tensorflow

    Computation using data flow graphs for scalable machine learning

    C++ Apache License 2.0 Updated Aug 25, 2017

  • node-cqm-engine Public

    Forked from mitre/node-cqm-engine

    MongoDB based cqm calculation engine with redis workers

    JavaScript Apache License 2.0 Updated Feb 28, 2017

  • faster_rcnn_pytorch Public

    Forked from longcw/faster_rcnn_pytorch

    Faster RCNN with PyTorch

    Python Updated Feb 20, 2017