kiranandcode/job-talk

Kiran's Job Talk (in LeanTeX)

Language: Lean - Size: 4.05 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

kiranandcode/LeanTeX

Write LaTeX presentations directly from Lean4~

Language: Lean - Size: 87.9 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

kiranandcode/lean4-blueprint-extractor

Some brief hacking to try and extract Blueprint metadata from repositories of lean4 projects.

Language: Python - Size: 32.8 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

kiranandcode/kirancodes.me

My personal website!!! (it's in Org mode!!!)

Language: Emacs Lisp - Size: 18.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

kiranandcode/vibe-debugging

Language: Python - Size: 91.8 KB - Last synced at: 2 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

kiranandcode/rhombus-in-the-rough

A 2D RPG implemented in the Rhombus Racket dialect

Language: GLSL - Size: 17.3 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 53 - Forks: 1

kiranandcode/ocamlot

An Activitypub server in OCaml!

Language: OCaml - Size: 1.93 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 67 - Forks: 4

kiranandcode/petrol

Petrol's an OCaml SQL API made to go FAST.

Language: OCaml - Size: 383 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 119 - Forks: 8

kiranandcode/emacs-viewer

A web frontend for your Org-files (100% faithful to GNU+Emacs!)

Language: Common Lisp - Size: 1.42 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 123 - Forks: 0

kiranandcode/guile-ocaml

GNU Guile Scheme bindings for OCaml

Language: OCaml - Size: 69.3 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 16 - Forks: 1

kiranandcode/WacomTabletTool

Unofficial GUI Tool for configuring Wacom Tablets on Unix/Linux systems.

Language: Shell - Size: 82 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 0

kiranandcode/cerberus Fork of rems-project/cerberus

Cerberus C semantics

Size: 149 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

kiranandcode/VERSE-Toolchain Fork of GaloisInc/VERSE-Toolchain

Tools for testing and verifying the safety and correctness of C programs.

Size: 388 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

kiranandcode/cleango

Bindings to libclingo for the lean4 prover and programming language!

Language: C - Size: 105 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 11 - Forks: 1

kiranandcode/lean-aoc

Advent of code in Lean4

Language: Lean - Size: 123 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 7 - Forks: 0

kiranandcode/kirans-org-mode

Personal branch of org mode I use to maintain my personal website

Language: Emacs Lisp - Size: 38.1 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

kiranandcode/gopcaml-mode

[MIRROR] Ultimate Ocaml Editing Mode

Language: OCaml - Size: 1.13 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 0

kiranandcode/axiom-profiler-2 Fork of viperproject/axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

Language: Rust - Size: 7.29 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

kiranandcode/deriving-such-that

Language: Lean - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

kiranandcode/godot-emacs-plugin

Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)

Language: GDScript - Size: 6.84 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

kiranandcode/LibreRef

LibreRef is a free as in freedom digital referencing tool for artists.

Language: OCaml - Size: 1.43 MB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 0

kiranandcode/typebeat Fork of kofigumbs/typebeat

Keyboard-controlled music sequencer, sampler, and synth

Size: 8.13 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kiranandcode/re2 Fork of janestreet/re2

OCaml bindings for RE2

Size: 829 KB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kiranandcode/random Fork of coq-contribs/random

Interpretation of random programs

Language: Coq - Size: 729 KB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

kiranandcode/projectile Fork of bbatsov/projectile

Project Interaction Library for Emacs

Size: 6.45 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/opam-repository Fork of ocaml/opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language: Shell - Size: 125 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kiranandcode/nuffieldbot Fork of matinehAkhlaghinia/nuffieldbot

This is a sample bot using waterfall design for nuffield health center project to make their customers experience faster and better.

Language: JavaScript - Size: 560 KB - Last synced at: 11 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

kiranandcode/ocaml-cisp Fork of casperschipper/ocaml-cisp

Based on luc doebereiners processes an implementation of my lib Cisp in Ocaml

Size: 753 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kiranandcode/opam-coq-archive Fork of coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: JavaScript - Size: 492 MB - Last synced at: 11 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

kiranandcode/math-comp Fork of math-comp/math-comp

Mathematical Components

Size: 10.1 MB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kiranandcode/core_kernel Fork of janestreet/core_kernel

Jane Street's standard library overlay (kernel)

Language: OCaml - Size: 7.73 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kiranandcode/obatcher_ds Fork of verse-lab/obatcher_ds

Size: 11.9 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

kiranandcode/js-slang Fork of source-academy/js-slang

Implementations of the Source languages (TypeScript)

Language: TypeScript - Size: 6.23 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/lispy Fork of abo-abo/lispy

Short and sweet LISP editing

Size: 4.99 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/imgui-rs Fork of imgui-rs/imgui-rs

Rust bindings for dear imgui

Language: Rust - Size: 1.75 MB - Last synced at: 11 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

kiranandcode/lablgtk Fork of garrigue/lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

Language: OCaml - Size: 9.25 MB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kiranandcode/lean4 Fork of leanprover/lean4

Lean 4 programming language and theorem prover

Size: 1.17 GB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

kiranandcode/harmtrace Fork of haas/harmtrace

HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic harmony analysis of music.

Language: Haskell - Size: 92.8 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kiranandcode/dune Fork of ocaml/dune

A composable build system for OCaml.

Language: OCaml - Size: 24.9 MB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kiranandcode/Elsa Fork of emacs-elsa/Elsa

Emacs Lisp Static Analyzer

Language: Emacs Lisp - Size: 942 KB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/elpi Fork of LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Size: 27.8 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kiranandcode/ego Fork of verse-lab/ego

EGraphs in OCaml

Size: 228 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kiranandcode/coq Fork of coq/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Size: 131 MB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kiranandcode/composable.el Fork of paldepind/composable.el

Composable text editing for Emacs.

Language: Emacs Lisp - Size: 113 KB - Last synced at: 11 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

kiranandcode/C-Projects

A repository for all the cool C projects I do

Language: C - Size: 1.17 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

kiranandcode/clingo-lang

#lang clingo for Racket (WIP)

Language: Racket - Size: 93.8 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

kiranandcode/LibreSelery Fork of Ly0n/LibreSelery

Continuous distribution of funding to your project contributors and dependencies. Integrated into GitHub Actions

Size: 2.13 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/aoc-rhombus

Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)

Language: Racket - Size: 72.3 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kiranandcode/simple-pleroma-comments

Free, open source web commenting system in a single script (no-analytics, privacy friendly)!

Language: OCaml - Size: 62.5 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 2

kiranandcode/ocaml-pug

Pug(lite) parser & compiler in OCaml

Language: OCaml - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

kiranandcode/c-alignment-stuff-

???

Language: Racket - Size: 785 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

kiranandcode/SWIPL-OCaml

SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html

Language: OCaml - Size: 85 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

kiranandcode/UWP-RedditSlideshow

A Reddit Slideshow for the Universal Windows Platform...

Language: C# - Size: 2.38 MB - Last synced at: 17 days ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 3

kiranandcode/rhombus-mode

Emacs Major mode for Rhombus (experimental)

Language: Emacs Lisp - Size: 63.5 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

kiranandcode/ProjectNote

Large projects? *Note* a problem!

Language: JavaScript - Size: 152 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

kiranandcode/Goptables

The best timetabling system you never knew you needed.

Language: Python - Size: 184 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

kiranandcode/ppx_meta_elpi

PPX using elpi

Language: OCaml - Size: 26.4 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

kiranandcode/.nyxt.d

.nyxt.d config file (placed under $HOME/.config/nyxt/

Language: Common Lisp - Size: 27.3 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

kiranandcode/ocamldebug-plus-plus

OCamldebug++? Maybe let's see.

Language: OCaml - Size: 168 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kiranandcode/dependent-view

A rust library for weak dependent views.

Language: Rust - Size: 27.3 KB - Last synced at: 24 days ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

kiranandcode/cvgenerator

Simple, Formal, Elegant. CV Generator

Language: Java - Size: 1.46 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

kiranandcode/html_gen

A simple HTML templating engine built using literate programming

Language: TeX - Size: 376 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

kiranandcode/http_sig_ocaml

HTTP Signatures for OCaml

Language: OCaml - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

kiranandcode/flat-combiner

Flat combiner written in OCaml

Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

kiranandcode/hit-front-page-of-hacker-news

Documenting Gopcaml-mode hitting the front-page of hacker news!

Size: 340 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

kiranandcode/experiments-with-verification-ocaml

Experiments using CFML2 to verify code + dune

Language: Coq - Size: 47.9 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

kiranandcode/gop-music

Music synced to typing baby!

Language: Python - Size: 478 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

kiranandcode/query-complexity-framework

Framework for empirically exploring query complexity questions

Language: OCaml - Size: 24.4 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

kiranandcode/plebbit-bg-changer

OCaml rewrite of a python-based background changer

Language: OCaml - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

kiranandcode/fun-ip

Making IPv4 fun again! Who need DNS servers?

Language: OCaml - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

kiranandcode/CamelClone

Automatically push changes to selected repositories - 0% tested yet 100% correct.

Language: Coq - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

kiranandcode/othudd

OCaml Theorem driven development - Tests are for losers.

Language: Coq - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

kiranandcode/aoc-2020-ocaml

Advent of Code 2020 in OCaml

Language: OCaml - Size: 39.1 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kiranandcode/ceramist-artefact

Artefact accompanying Ceramist paper.

Language: Dockerfile - Size: 4.88 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

kiranandcode/UniversalWindowsPlatform-Projects

A repository for all my UWP experiments

Language: C# - Size: 393 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

kiranandcode/TopologicalTodo

A brand new todo application utilizing an internal graph to model task dependancies.

Language: Java - Size: 1.55 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/vr-projects

Reality? who needs that?

Language: Kotlin - Size: 131 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/Vidme-For-Windows-Unofficial

A video client for the vidme video sharing site.

Language: C# - Size: 118 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

kiranandcode/Activitybot-robotics-Project

A repo for the RoboticsProject

Language: C - Size: 738 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

kiranandcode/reddit-slideshow

A simple little Reddit Slideshow...

Language: JavaScript - Size: 3.03 MB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

kiranandcode/rust-breakout

Implementation of the breakout game in Rust (openGL)

Language: Rust - Size: 773 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

kiranandcode/bash-scripts

Powershell sucks.

Language: Shell - Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

kiranandcode/Haskel-Projects

A Repository for all the cool Haskel Projects I do.

Language: Haskell - Size: 99.6 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/GAPlayground

A Playground for testing GA ideas

Language: Processing - Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/observable-rs

Idiomatic, Unstable, observables for Rust

Language: Rust - Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

kiranandcode/CPlusPlusProjects

A repository for all the cool C++ Projects I do.

Language: C - Size: 101 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/python-projects

Repo for all the small cool experiments I've done in Python.

Language: Python - Size: 10.4 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

kiranandcode/LearnHack2017_MobileMedic

A repository for the MobileMedic Project made at LearnHack2017.

Language: Python - Size: 27.3 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

kiranandcode/rust-projects

Might as well dip my toes into rust as well.

Language: Rust - Size: 3.06 MB - Last synced at: 13 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

kiranandcode/R-LCS

Recursive Learning Classifier System (RLCS) - Implementation of a Recursive Learning classifier System

Language: Java - Size: 350 KB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/alexa-review-aggregator

A node js application to aggregate alexa reviews

Language: JavaScript - Size: 57.6 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/Android-Projects

A repository for all the cool Android projects I do.

Language: Java - Size: 223 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

kiranandcode/java-projects

A repository for all the cool Java Projects I do.

Language: Processing - Size: 3.56 MB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

kiranandcode/PPLVwebsite

Repository for developing a website for the PPLV CS Research Area - As part of UCL's IEP

Language: HTML - Size: 5.93 MB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 1

kiranandcode/javascript-projects

It's not like I wanted to use JS, it just happened to be the best tool for the job...

Language: CSS - Size: 208 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/JavaGAs

A multipurpose Genetic Algorithms library in Java

Language: Java - Size: 19.5 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kiranandcode/Lua-Projects

A repository for all the cool Lua Projects I do.

Language: Lua - Size: 4.63 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

kiranandcode/r-projects

Can't learn statistics without fitting a few models, eh?

Language: HTML - Size: 1.71 MB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

kiranandcode/Shaders

Like processing on steroids.

Language: GLSL - Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

kiranandcode/coq-projects

Haskell? More like not-prooved-well! Got-em!

Language: Coq - Size: 34.2 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0