Beast code in Giters

lambdacn's starred repositories

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispGPL-3.0473500

doom-modeline

A fancy and fast mode-line inspired by minimalism design.

Language:Emacs LispGPL-3.0125800

moody

Tabs and ribbons for the mode-line

Language:Emacs LispGPL-3.038600

cookiecutter-django

Cookiecutter Django is a framework for jumpstarting production-ready Django projects quickly.

Language:PythonBSD-3-Clause1183100

go-abs

Go implementations of the abs function for int64

Language:Go1500

mesos-consul

Mesos to Consul bridge for service discovery

Language:GoApache-2.033800

terraform.py

Ansible dynamic inventory script for parsing Terraform state files

Language:PythonApache-2.045100

staged-miniKanren

staged relational interpreters: running with holes, faster

Language:Racket12300

thinking-dumps

snippets for CS learning

Language:Racket500

datafun

Research on integrating datalog & lambda calculus via monotonicity types

Language:TeX38400

software-foundations

Software Foundations in Idris

Language:IdrisMIT45300

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION341800

macrotypes

Language:RacketBSD-2-Clause13300

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispNOASSERTION35200

typed-racket

Typed Racket

Language:RacketNOASSERTION51700

racket

The Racket repository

Language:RacketNOASSERTION474100

redex

Language:RacketNOASSERTION9000

ChezScheme

Chez Scheme

Language:SchemeApache-2.0692000