This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (module slide-visual racket | |
| (module slide-wrapper-linker racket | |
| (require "viewer.rkt" slideshow/param slideshow/sig slideshow/cmdline) | |
| (define custom-linker | |
| (lambda (core@) | |
| (println "calling custom linker") | |
| (compound-unit | |
| (import) | |
| (export CORE CMDLINE VIEWER) |
kiranandcode
/ init-orgroam.el
Created
September 17, 2025 16:38
Config file snippet for setting up org-roam with org-ref and org-roam-bibtex.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (use-package org-roam | |
| :straight t | |
| :init | |
| (setq org-roam-directory (file-truename "~/org/roam")) | |
| (setq org-roam-dailies-directory "daily/") | |
| (setq org-roam-dailies-capture-templates | |
| '(("d" "default" entry | |
| "* %?" | |
| :target (file+head "%<%Y-%m-%d>.org" | |
| "#+title: %<%Y-%m-%d>\n")))) |
kiranandcode
/ llemma_7b_inference.py
Created
July 4, 2025 20:01
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from tqdm import tqdm | |
| from transformers import AutoTokenizer, pipeline | |
| from pathlib import Path | |
| import torch | |
| model_name = "kirancodes/llemma-7b-lora-sft-pretrained-RQ2" | |
| tokenizer = AutoTokenizer.from_pretrained(model_name) | |
| llama_pipeline = pipeline( | |
| "text-generation", | |
| tokenizer=tokenizer, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (library | |
| (name macros) | |
| (modules "macros") | |
| (libraries ppxlib) | |
| (kind ppx_rewriter) | |
| (preprocess (pps ppxlib.metaquot))) | |
| (executable | |
| (public_name macros) | |
| (modules "main") |
kiranandcode
/ Example.lean
Created
November 29, 2024 08:48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Batteries | |
| import Lean.Elab.BuiltinEvalCommand | |
| open Lean.Meta Lean.Elab | |
| -- Most of this stolen from Lean/Elab/BuiltinEvalcommand.lean | |
| /-- | |
| Try to make a `@projFn ty inst e` application, even if it takes unfolding the type `ty` of `e` to synthesize the instance `inst`. | |
| -/ |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
kiranandcode
/ emacs-dawn-trans.svg
Created
June 11, 2024 02:57
Emacs+Trans wallpaper based on Maria Shanina's Desert Nights
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
kiranandcode
/ godot-api-spec.rkt
Created
December 2, 2023 14:52
A declarative racket DSL for extracting data from JSON
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang racket | |
| (require (for-syntax syntax/parse | |
| racket/syntax | |
| racket/string | |
| racket/match | |
| syntax/parse/class/paren-shape)) | |
| (provide make-godot-parser define-godot-bindings) | |
| (module+ test |
kiranandcode
/ Concept mapping of mathcomp
Created
October 5, 2023 15:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| "========== character a ============" | |
| mathcomp.solvable.abelian.html contains: | |
| - end : Q16220058 | |
| - order : Q2029226 | |
| - structure : Q6671777 | |
| - f : Q9765 | |
| - g : Q9739 | |
| - t : Q9813 | |
| - d : Q9884 | |
| - call : Q407264 |
kiranandcode
/ search-with-llama.el
Created
March 24, 2023 15:48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;; search-with-llama.el --- Find an answer to your query using llama! -*- lexical-binding: t; -*- | |
| ;; Copyright (C) 2023 Kiran Gopinathan | |
| ;; Author: Kiran Gopinathan | |
| ;; Keywords: | |
| ;; This program is free software; you can redistribute it and/or modify | |
| ;; it under the terms of the GNU General Public License as published by | |
| ;; the Free Software Foundation, either version 3 of the License, or |
NewerOlder