Discover @kiranandcode Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Kotlin

C

Julia

Haskell

C++

Lua

CSS

Solidity

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

R

F#

Scala

JavaScript

Dart

Perl

Julia

Go

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇶 Martinique

🇰🇿 Kazakhstan

🇳🇮 Nicaragua

🇸🇿 Eswatini

🇧🇷 Brazil

🇲🇸 Montserrat

🇳🇵 Nepal

🇧🇴 Bolivia

All Countries Compare Countries

Kiran Gopinathan (@kiranandcode)

kiranandcode

Stars
467
Global Rank 61,374 (Top 3 %)
Followers 115
Following 7
Registered about 8 years ago
Most used languages

OCaml
33.3 %

Coq 9.1 %

Python
9.1 %

C
9.1 %

Rust
6.1 %

Common Lisp
6.1 %

TeX
3.0 %

C#
3.0 %

Java
3.0 %

GLSL 3.0 %

Emacs Lisp
3.0 %

JavaScript
3.0 %

Lean 3.0 %

Racket
3.0 %

Shell
3.0 %

emacs-viewer

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

petrol

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

ocamlot

An Activitypub server in OCaml!

rhombus-in-the-rough

A 2D RPG implemented in the Rhombus Racket dialect

gopcaml-mode

[MIRROR] Ultimate Ocaml Editing Mode

guile-ocaml

GNU Guile Scheme bindings for OCaml

simple-pleroma-comments

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

WacomTabletTool

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

SWIPL-OCaml

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

LibreRef

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

rhombus-mode

Emacs Major mode for Rhombus (experimental)

fun-ip

Making IPv4 fun again! Who need DNS servers?

C-Projects

A repository for all the cool C projects I do

UWP-RedditSlideshow

A Reddit Slideshow for the Universal Windows Platform...

deriving-such-that

gop-music

Music synced to typing baby!

dependent-view

A rust library for weak dependent views.

plebbit-bg-changer

OCaml rewrite of a python-based background changer

query-complexity-framework

Framework for empirically exploring query complexity questions

othudd

OCaml Theorem driven development - Tests are for losers.

cleango

Bindings to libclingo for the lean4 prover and programming language!

.nyxt.d

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

CamelClone

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

clingo-lang

#lang clingo for Racket (WIP)

ocaml-pug

Pug(lite) parser & compiler in OCaml

Goptables

The best timetabling system you never knew you needed.

coq-projects

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

hit-front-page-of-hacker-news

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

rust-projects

Might as well dip my toes into rust as well.

cvgenerator

Simple, Formal, Elegant. CV Generator

python-projects

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

ProjectNote

Large projects? *Note* a problem!

Activitybot-robotics-Project

A repo for the RoboticsProject

html_gen

A simple HTML templating engine built using literate programming