Discover @naveensundarg 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.

Zig

R

Julia

Assembly

Groovy

CoffeeScript

MATLAB

TypeScript

More Languages
Awesome

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

Zig

Ruby

Java

Elm

Dart

JavaScript

C#

Rust

More Languages
By Country

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

🇧🇮 Burundi

🇰🇼 Kuwait

🇹🇭 Thailand

🇳🇪 Niger

🇰🇵 North Korea

🇧🇼 Botswana

🇦🇿 Azerbaijan

🇹🇷 Turkey

All Countries Compare Countries

Naveen Sundar G. (@naveensundarg)

naveensundarg

Stars
144
Global Rank 158,553 (Top 6 %)
Followers 28
Following 5
Registered almost 15 years ago
Most used languages

Common Lisp
63.6 %

Assembly
9.1 %

Python
9.1 %

Java
9.1 %

Clojure
9.1 %
Location 🇺🇸 United States
Country Total Rank 36,278
Country Ranking

Common Lisp
65

Clojure
1,736

Assembly
2,410

Common-Lisp-Actors

An actor system for Common Lisp.

prover

DCECProver

(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.

Eng-DCEC

ShadowProver

!!Deprecated!! (Please use https://github.com/naveensundarg/prover)

Spectra

RLCNL

RAIR Lab's Logically Controlled Natural Language

deontic-logic

A repo for logic experiments and demonstrations

DPL

A Propositional Alpha Denotational Proof Language

dcec

catabotrescue-unity

Catabot Rescue Game in Unity

G