P.C. Shyamshankar (sykloid)

sykloid

Geek Repo

Company:@GaloisInc

Location:Washington, D.C.

Home Page:https://sykloid.org/

Twitter:@sykloid

Github PK Tool:Github PK Tool

P.C. Shyamshankar's repositories

etc

My Very Own ~/etc

org-tally

Lightweight gamificaton layer for org-mode.

Language:Emacs LispStargazers:2Issues:0Issues:0

zeta

A Simple Mathematics Library

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0

ansible-role-tailscale

Ansible role to install and configure a Tailscale node.

License:MITStargazers:0Issues:0Issues:0

buildkit

concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

License:Apache-2.0Stargazers:0Issues:0Issues:0

compilation-manager

Emacs' compilation-mode enhancement for repeatable recompilations.

Language:Emacs LispStargazers:0Issues:3Issues:0

consult

:mag: consult.el - Consulting completing-read

License:GPL-3.0Stargazers:0Issues:0Issues:0

ebib

A BibTeX database manager for Emacs.

Language:Emacs LispStargazers:0Issues:3Issues:0

ELINA

ELINA: ETH LIbrary for Numerical Analysis

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

emacs-playground

Manage sandboxes for alternative Emacs configurations

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues:0

evil-surround

you will be surrounded (surround.vim for evil, the extensible vi layer)

License:GPL-3.0Stargazers:0Issues:0Issues:0

flycheck

Modern on the fly syntax checking for GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues:0

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Iosevka

Slender typeface for code, from code.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

K3-Core

The K3 Language: compiler toolchain repository

Language:HaskellStargazers:0Issues:3Issues:0

ledger

Double-entry accounting system with a command-line reporting interface

Language:C++Stargazers:0Issues:3Issues:0

litestar

Light, Flexible and Extensible ASGI API framework | Effortlessly Build Performant APIs

License:MITStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

ocaml-cohttp

Very lightweight HTTP server using Lwt or Async

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

orders-from-above

Blish-HUD module for creating, managing and using squad orders.

Language:C#Stargazers:0Issues:0Issues:0

packages-Cabal

Mirror of packages-Cabal repository. DO NOT SUBMIT PULL REQUESTS HERE. Use https://github.com/haskell/cabal instead.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

predicate-combinators

A Haskell library for working with predicates.

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

prefix-containers

Data Structures storing sequences supporting efficient prefix queries.

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

projectile

Project Interaction Library for Emacs

License:GPL-3.0Stargazers:0Issues:0Issues:0

smartparens

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

License:GPL-3.0Stargazers:0Issues:0Issues:0

systemM

Implementation of the Materialization Calculus, and related tooling.

Language:HaskellStargazers:0Issues:3Issues:0

typed-argument-parser

Typed argument parser for Python

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

use-package

A use-package declaration for simplifying your .emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

vernacular

A simple LaTeX package for typesetting language grammars.

Language:TeXStargazers:0Issues:3Issues:0

verse

A Principled, Extensible, Text Markup Language

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:3Issues:0