bbatsov/praxis bbatsov/praxis

  • Stars
    star
    1
  • Language
    OCaml
  • Created almost 12 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bbatsov/praxis
github

bbatsov

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Praxis makes perfect!

More Repositories

1

prelude

Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
Emacs Lisp
5,014
star
2

clojure-style-guide

A community coding style guide for the Clojure programming language
4,008
star
3

projectile

Project Interaction Library for Emacs
Emacs Lisp
3,851
star
4

emacs-lisp-style-guide

A community-driven Emacs Lisp style guide
1,074
star
5

zenburn-emacs

The Zenburn colour theme ported to Emacs
Emacs Lisp
951
star
6

crux

A Collection of Ridiculously Useful eXtensions for Emacs
Emacs Lisp
807
star
7

solarized-emacs

The Solarized colour theme, ported to Emacs.
Emacs Lisp
739
star
8

helm-projectile

Helm UI for Projectile
Emacs Lisp
322
star
9

super-save

Save Emacs buffers when they lose focus
Emacs Lisp
273
star
10

powerpack

Some useful extensions to the core Ruby classes
Ruby
270
star
11

emacs.d

My personal Emacs configuration
Emacs Lisp
204
star
12

persp-projectile

Projectile integration for perspective.el
Emacs Lisp
110
star
13

guru-mode

Learn to use Emacs the way it was meant to be used (the Emacs guru way)
Emacs Lisp
100
star
14

emacs-dev-kit

An advanced self-contained Emacs configuration suitable for many software developers (deprecated)
Emacs Lisp
95
star
15

beamer-torino-theme

Torino, a pretty theme for LaTex Beamer
Emacs Lisp
38
star
16

lein-annotations

Display comment annotations in your project
Clojure
12
star
17

emacsredux

Emacs Redux is a blog dedicated to the One True Editor
HTML
11
star
18

cv

My professional CV in LaTeX
TeX
10
star
19

cl-99-problems

Solutions to the 99 Lisp problems in Common Lisp
Common Lisp
10
star
20

activerecord-extra-validators

Some nice additional validators for ActiveRecord
Ruby
9
star
21

java-in-action-lectures

The lectures from the "Java in Action" programming course
9
star
22

advent-of-code2021

Advent of Code 2021, Clojure Edition
Clojure
8
star
23

legacy-octopress-blog

My personal blog
HTML
8
star
24

batsov.com

My personal blog
Ruby
7
star
25

metaredux

HTML
7
star
26

master-thesis

My Master university degree thesis
Emacs Lisp
5
star
27

zshrc

My personal zsh setup
5
star
28

docs.projectile.mx

Projectile's documentation site
Handlebars
4
star
29

hard-cider

A demo projecto to showcase CIDER
Clojure
3
star
30

blog

My personal blog
Ruby
2
star
31

presentations

Presentations I created for various occasions
2
star
32

emacsredux-legacy

Emacs Redux
HTML
1
star