Skip to content
View bkc39's full-sized avatar
27 followers · 9 following
  • Bot Lab, LP
  • Miami, FL

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3

Highlights

  • Pro

Block or report bkc39

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

  • .emacs.d Public

    Landscape for my zen garden.

    Emacs Lisp 1 GNU General Public License v2.0 Updated Dec 14, 2024

  • .llm-prompts Public

    system prompts for LLMs that I use frequently

    Updated Dec 14, 2024

  • llm-prompts Public

    System prompts for LLMs that I use for programming

    Updated Oct 1, 2024

  • keccak-rkt Public

    Racket bindings to the XKCP keccak compact implementation

    Racket Other Updated Sep 15, 2024

  • racket-mode Public

    Forked from greghendershott/racket-mode

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

    Emacs Lisp GNU General Public License v3.0 Updated Sep 14, 2024

  • solidity Public

    Forked from ethereum/solidity

    Solidity, the Smart Contract Programming Language

    C++ GNU General Public License v3.0 Updated Sep 13, 2024

  • wealthfolio Public

    Forked from afadil/wealthfolio

    A Beautiful Private and Secure Desktop Investment Tracking Application

    TypeScript GNU Lesser General Public License v3.0 Updated Sep 10, 2024

  • polars Public

    Forked from pola-rs/polars

    Dataframes powered by a multithreaded, vectorized query engine, written in Rust

    Rust Other Updated Jul 16, 2024

  • XKCP Public

    Forked from XKCP/XKCP

    eXtended Keccak Code Package

    C Other Updated Jul 3, 2024

  • shellgpt.el Public

    A lightweight ChatGPT client for Emacs based on shell-gpt

    Emacs Lisp 2 GNU General Public License v3.0 Updated Aug 14, 2023

  • poke-env Public

    Forked from hsahovic/poke-env

    A python interface for training Reinforcement Learning bots to battle on pokemon showdown

    Python MIT License Updated Feb 27, 2023

  • reverb Public

    Forked from google-deepmind/reverb

    Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research

    C++ Apache License 2.0 Updated Jun 28, 2022

  • mathematics_in_lean Public

    Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    HTML Updated Jun 5, 2021

  • s3-example Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 24, 2018

  • persistent-odbc Public

    Forked from facundominguez/persistent-odbc

    uses persistent connecting via hdbc odbc

    Haskell Other Updated Feb 1, 2018

  • catalyst Public

    Forked from scrtlabs/catalyst

    An Algorithmic Trading Library for Crypto-Assets in Python

    Python Apache License 2.0 Updated Jul 7, 2017

  • miso Public

    Forked from dmjio/miso

    🍜 A tasty Haskell front-end framework

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 4, 2017

  • tex-swag Public

    LaTeX stuntin'

    TeX 5 1 Updated Mar 1, 2017

  • mahimahi Public

    Forked from greghill/mahimahi

    Web performance measurement toolkit

    C++ GNU General Public License v3.0 Updated Feb 8, 2017

  • ocaml-prelude Public

    Includes the functions you need, that INRIA didn't.

    OCaml 5 GNU General Public License v3.0 Updated Mar 18, 2015

  • Coq311 Public

    A course in Functional Programming and Data Structures

    Emacs Lisp 2 GNU General Public License v2.0 Updated Feb 28, 2015

  • ocaml-monadic Public

    ABANDONED -- see ocaml prelude (https://github.com/bkc39/ocaml-prelude)

    OCaml 2 Updated Feb 27, 2015

  • pdes Public

    Notes on Partial Differential Equations

    TeX 3 1 GNU General Public License v2.0 Updated Jan 14, 2015

  • tools Public

    Public tools repository

    Emacs Lisp 2 Updated Jun 26, 2014

  • ceylon-mode Public

    Emacs syntax highlighting for the Ceylon programming language.

    Emacs Lisp 2 1 Updated Apr 27, 2014

  • GeoGit Public

    Forked from jhudson/GeoGIT

    Geospatial Distributed Version Control System

    Java BSD 3-Clause "New" or "Revised" License Updated Feb 9, 2014

  • ocaml-data-structures Public

    Implemenations of Various Data Structures in OCaml

    OCaml Updated Dec 23, 2013

  • Math-6510 Public

    TeX and PDF files for Math 6510: Algebraic Topology I

    2 2 Updated May 29, 2013

  • Math-6120 Public

    TeX and PDF files for Math 6120: Complex Analysis

    1 Updated May 29, 2013

  • Math-6110 Public

    TeX and PDF for Math 6110: Real Analysis

    18 6 Updated Feb 21, 2013