rgrinberg/lev

Low Level Bindings to Libev

Language: OCaml - Size: 505 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 28 - Forks: 5

rgrinberg/vmbench Fork of MagicStack/vmbench

Network Server Performance Benchmarking Toolbench

Language: Python - Size: 41 KB - Last synced: 19 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-slime Fork of jpalardy/vim-slime

A vim plugin to give you some slime. (Emacs)

Language: VimL - Size: 128 KB - Last synced: 19 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rgrinberg/yi Fork of yi-editor/yi

The Haskell-Scriptable Editor

Language: Haskell - Size: 32.3 MB - Last synced: 19 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-erlang-runtime Fork of vim-erlang/vim-erlang-runtime

Erlang indentation and syntax for Vim

Language: Erlang - Size: 220 KB - Last synced: 19 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-plug Fork of junegunn/vim-plug

:hibiscus: Minimalist Vim Plugin Manager

Language: VimL - Size: 8.07 MB - Last synced: 19 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rgrinberg/zipperposition Fork of sneeuwballen/zipperposition

An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting

Language: OCaml - Size: 12.9 MB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rgrinberg/zeromq3-conduit Fork of NicolasT/zeromq3-conduit

Conduit bindings for zeromq3-haskell

Language: Haskell - Size: 77.1 KB - Last synced: 19 days ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

rgrinberg/zed Fork of ocaml-community/zed

Abstract engine for text edition in OCaml

Language: OCaml - Size: 206 KB - Last synced: 19 days ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

rgrinberg/webcrank.hs Fork of webcrank/webcrank.hs

Webmachine inspired toolkit for building http applications and services.

Language: Haskell - Size: 328 KB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/zoutline Fork of abo-abo/zoutline

Emacs library for outlines

Language: Emacs Lisp - Size: 1000 Bytes - Last synced: 19 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rgrinberg/VsVim Fork of VsVim/VsVim

Vim Emulator Plugin for Visual Studio 2010+

Size: 31.5 MB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/wai Fork of yesodweb/wai

Haskell Web Application Interface

Language: Haskell - Size: 3.38 MB - Last synced: 19 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

rgrinberg/yojson Fork of ocaml-community/yojson

JSON parsing and pretty-printing library for OCaml

Language: OCaml - Size: 166 KB - Last synced: 19 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

rgrinberg/yi-editor.github.com Fork of yi-editor/yi-editor.github.com

Language: CSS - Size: 137 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/XMPPFramework Fork of robbiehanson/XMPPFramework

An XMPP Framework in Objective-C for Mac and iOS

Language: C - Size: 24.2 MB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/virtus Fork of solnic/virtus

Attributes on Steroids for Plain Old Ruby Objects

Language: Ruby - Size: 1.48 MB - Last synced: 19 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rgrinberg/vscode-ocaml-platform Fork of ocamllabs/vscode-ocaml-platform

Size: 3 MB - Last synced: 19 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

rgrinberg/vagrant-opam Fork of avsm/vagrant-opam

Vagrant + OPAM/OCaml

Language: Shell - Size: 91.8 KB - Last synced: 19 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-to-github Fork of tonchis/vim-to-github

Will take you from Vim to GitHub

Language: VimL - Size: 102 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-operator-gsearch

Vim operator to search using Ag/Ack/CtrlSF/Ggrep/etc.

Language: VimL - Size: 144 KB - Last synced: 19 days ago - Pushed: almost 9 years ago - Stars: 31 - Forks: 3

rgrinberg/vagrant-digitalocean Fork of devopsgroup-io/vagrant-digitalocean

A Vagrant provider plugin that supports the management of Digital Ocean droplets (instances).

Language: Ruby - Size: 572 KB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-orgmode Fork of jceb/vim-orgmode

Text outlining and task management for Vim based on Emacs' Org-Mode

Language: Python - Size: 1.91 MB - Last synced: 19 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

rgrinberg/vimerl Fork of jimenezrick/vimerl

The Erlang plugin for Vim

Language: Erlang - Size: 483 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/vim-quickrun Fork of thinca/vim-quickrun

Run commands quickly.

Language: VimL - Size: 954 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/tyxml Fork of ocsigen/tyxml

OCaml library to build valid HTML5 and SVG trees.

Language: OCaml - Size: 19 MB - Last synced: 19 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

rgrinberg/topexpect Fork of realworldocaml/topexpect

A variant of ocaml-expect from toplevel_expect_test that mimics ocaml toplevel more closely

Language: OCaml - Size: 48.8 KB - Last synced: 19 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rgrinberg/vagrant Fork of hashicorp/vagrant

Vagrant is a tool for building and distributing working environments.

Language: Ruby - Size: 97.7 KB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/swiper Fork of abo-abo/swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

Size: 7.23 MB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/ultisnips Fork of SirVer/ultisnips

Official Mirror of UltiSnips trunk on LaunchPad. Send pull requests to SirVer/ultisnips!

Language: Python - Size: 1.44 MB - Last synced: 19 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rgrinberg/stringext

Extra string functions for OCaml

Language: OCaml - Size: 105 KB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 21 - Forks: 4

rgrinberg/tuareg Fork of ocaml/tuareg

Emacs OCaml mode

Language: Emacs Lisp - Size: 1.43 MB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/utop Fork of ocaml-community/utop

Universal toplevel for OCaml

Language: OCaml - Size: 690 KB - Last synced: 19 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rgrinberg/topkg-jbuilder Fork of samoht/topkg-jbuilder

Helpers for using topkg with jbuilder

Language: OCaml - Size: 7.81 KB - Last synced: 19 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

rgrinberg/undo-tree Fork of tarsiiformes/undo-tree

Treat undo history as a tree

Size: 138 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/testrtd

Size: 53.7 KB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rgrinberg/tyre Fork of Drup/tyre

Typed Regular Expressions

Language: OCaml - Size: 438 KB - Last synced: 19 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rgrinberg/tcslib Fork of tcsprojects/tcslib

A multi-purpose library for OCaml

Language: OCaml - Size: 160 KB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rgrinberg/stgit Fork of stacked-git/stgit

Stacked Git

Language: Rust - Size: 5.38 MB - Last synced: 19 days ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

rgrinberg/sturgeon Fork of let-def/sturgeon

A toolkit for communicating with Emacs from OCaml

Language: OCaml - Size: 212 KB - Last synced: 19 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rgrinberg/stog Fork of gasche/stog

XML documents and web site compiler.

Language: OCaml - Size: 23 MB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/strophejs-rails Fork of scrogson/strophejs-rails

Strophe.js for Rails Asset Pipeline

Language: Ruby - Size: 153 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/statmemprof-emacs Fork of jhjourdan/statmemprof-emacs

Emacs client for statistical memory profiler

Language: OCaml - Size: 14.6 KB - Last synced: 19 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rgrinberg/stackage Fork of commercialhaskell/stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language: Haskell - Size: 1.53 MB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/staged-recipes Fork of conda-forge/staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Language: Python - Size: 15.7 MB - Last synced: 19 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

rgrinberg/spacemacs-custom Fork of mullr/spacemacs-custom

Language: Emacs Lisp - Size: 24.4 KB - Last synced: 19 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rgrinberg/spelll Fork of c-cube/spelll

fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.

Size: 123 KB - Last synced: 19 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

rgrinberg/spacemacs Fork of syl20bnr/spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language: Emacs Lisp - Size: 40.9 MB - Last synced: 19 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rgrinberg/snoo Fork of paradox460/snoo

A ruby api wrapper for reddit.com

Language: Ruby - Size: 149 KB - Last synced: 19 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rgrinberg/shcaml Fork of tov/shcaml

Caml-Shcaml: An Ocaml library for Unix shell programming

Language: OCaml - Size: 326 KB - Last synced: 19 days ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 1

rgrinberg/snap-core Fork of snapframework/snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

Language: Haskell - Size: 2.28 MB - Last synced: 19 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rgrinberg/riak-erlang-client Fork of basho/riak-erlang-client

Erlang clients for Riak.

Language: Erlang - Size: 1.38 MB - Last synced: 19 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rgrinberg/router Fork of zotonic/router

In-memory trie based router for fast parallel path lookups with wildcards.

Language: Erlang - Size: 92.8 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

rgrinberg/sequoia Fork of andrenth/sequoia

OCaml type-safe query builder with syntax tree extension

Language: OCaml - Size: 255 KB - Last synced: 19 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rgrinberg/shuttle Fork of anuragsoni/shuttle_http

buffered channels for async

Size: 195 KB - Last synced: 19 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rgrinberg/shake Fork of ndmitchell/shake

Shake build system

Language: Haskell - Size: 6.34 MB - Last synced: 19 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rgrinberg/shcaml-zero

Language: OCaml - Size: 352 KB - Last synced: 19 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

rgrinberg/scotty Fork of scotty-web/scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Language: Haskell - Size: 398 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/sedlex Fork of ocaml-community/sedlex

An OCaml lexer generator for Unicode

Language: OCaml - Size: 2.88 MB - Last synced: 19 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

rgrinberg/RFCs Fork of ocaml/RFCs

Design discussions about the OCaml language

Size: 380 KB - Last synced: 19 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

rgrinberg/reversi-haskell Fork of mkonecny/reversi-haskell

Simple Reversi game written in Haskell with OpenGL bindings

Language: Haskell - Size: 98.6 KB - Last synced: 19 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rgrinberg/react Fork of dbuenzli/react

Declarative events and signals for OCaml

Language: OCaml - Size: 169 KB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/ReasonNativeProject Fork of reasonml/ReasonNativeProject

Reason native compilation starter project

Language: OCaml - Size: 9.47 MB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rgrinberg/rest Fork of synrc/rest

Micro-REST with typed JSON

Language: Erlang - Size: 121 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/result Fork of janestreet/result

Compat result type

Size: 14.6 KB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rgrinberg/refine Fork of Wilfred/refine

interactive value editing in emacs lisp

Size: 499 KB - Last synced: 19 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rgrinberg/relex Fork of yrashk/relex

Erlang/Elixir Release Assembler

Language: Elixir - Size: 265 KB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/reason Fork of reasonml/reason

Friendly Syntax & Toolchain Powered by OCaml

Language: OCaml - Size: 22.3 MB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rgrinberg/re2 Fork of janestreet/re2

OCaml bindings for RE2

Language: C++ - Size: 774 KB - Last synced: 19 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

rgrinberg/ranger

OCaml library for creating efficient ranges out of indexed data structures (arrays, strings, etc.)

Language: OCaml - Size: 31.3 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 11 - Forks: 3

rgrinberg/randomknapsack

Example of approximation to knapsack problem using random hill climbing in the context of generating a playlist of a certain length from a library of songs.

Language: OCaml - Size: 93.8 KB - Last synced: 19 days ago - Pushed: almost 12 years ago - Stars: 2 - Forks: 0

rgrinberg/qcheck Fork of c-cube/qcheck

QuickCheck inspired property-based testing for OCaml

Language: OCaml - Size: 261 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/python-zeep Fork of mvantellingen/python-zeep

A modern/fast python SOAP client based on lxml / requests

Language: Python - Size: 987 KB - Last synced: 19 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx Fork of ocaml-ppx/ppx

The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/

Language: OCaml - Size: 994 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/prodigy.el Fork of rejeep/prodigy.el

Manage external services from within Emacs

Size: 811 KB - Last synced: 19 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

rgrinberg/prelude Fork of bbatsov/prelude

Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.

Language: Emacs Lisp - Size: 2.31 MB - Last synced: 19 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

rgrinberg/python-client Fork of neovim/pynvim

Python client for Neovim

Language: Python - Size: 318 KB - Last synced: 19 days ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rgrinberg/python-jsonrpc Fork of gerold-penz/python-jsonrpc

Python JSON-RPC Library Client Server

Language: Python - Size: 512 KB - Last synced: 19 days ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rgrinberg/purescript Fork of purescript/purescript

A strongly-typed language that compiles to Javascript

Language: Haskell - Size: 9.03 MB - Last synced: 19 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

rgrinberg/pureMD5 Fork of haskell-github-trust/pureMD5

A reasonably performing MD5 implementation in pure Haskell

Language: Haskell - Size: 165 KB - Last synced: 19 days ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

rgrinberg/protege-client-server-integration-tests Fork of bdionne/protege-client-server-integration-tests

An integration test for modules in protege-server and protege-client

Language: Web Ontology Language - Size: 8.66 MB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rgrinberg/ProjectScaffold Fork of fsprojects/ProjectScaffold

A prototypical F# library (file system layout and tooling), recommended by the F# Foundation.

Size: 997 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/promise_jsoo Fork of mnxn/promise_jsoo

Js_of_ocaml bindings to JS Promises with supplemental functions

Size: 65.4 KB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rgrinberg/printbox Fork of c-cube/printbox

print nested boxes, lists, arrays, tables in several formats

Size: 319 KB - Last synced: 19 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

rgrinberg/projectile Fork of bbatsov/projectile

Project Interaction Library for Emacs

Language: Emacs Lisp - Size: 4.23 MB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/prof_spacetime Fork of lpw25/prof_spacetime

Prof. Spacetime

Language: OCaml - Size: 81.1 KB - Last synced: 19 days ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

rgrinberg/ppx_tools_versioned Fork of ocaml-ppx/ppx_tools_versioned

Tools for authors of ppx rewriters

Language: OCaml - Size: 235 KB - Last synced: 19 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_view Fork of ocaml-ppx/ppx_view

A ppx rewriter that provides pattern matching on abstract types by transforming patterns into views/expressions.

Language: OCaml - Size: 104 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/pathfinding Fork of AnthonyMl/pathfinding

basic pathfinding algorithms in haskell

Language: Haskell - Size: 99.6 KB - Last synced: 19 days ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_optcomp Fork of janestreet/ppx_optcomp

Optional compilation for OCaml

Size: 133 KB - Last synced: 19 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_tools Fork of ocaml-ppx/ppx_tools

Tools for authors of ppx rewriters

Language: OCaml - Size: 61.5 KB - Last synced: 19 days ago - Pushed: about 8 years ago - Stars: 1 - Forks: 0

rgrinberg/ppx_inline_test Fork of janestreet/ppx_inline_test

Syntax extension for writing in-line tests in ocaml code

Language: OCaml - Size: 128 KB - Last synced: 19 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_deriving_yojson Fork of ocaml-ppx/ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

Language: OCaml - Size: 263 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

rgrinberg/ppx_deriving Fork of ocaml-ppx/ppx_deriving

Type-driven code generation for OCaml >=4.02

Language: OCaml - Size: 750 KB - Last synced: 19 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_cstubs Fork of fdopen/ppx_cstubs

preprocessor for quick and dirty stub generation

Language: OCaml - Size: 76.2 KB - Last synced: 19 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rgrinberg/ppx_deriving_protobuf Fork of ocaml-ppx/ppx_deriving_protobuf

A Protocol Buffers codec generator for OCaml

Size: 259 KB - Last synced: 19 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rgrinberg/pgocaml Fork of darioteixeira/pgocaml

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.

Language: OCaml - Size: 878 KB - Last synced: 19 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rgrinberg/pfff Fork of facebookarchive/pfff

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

Language: OCaml - Size: 25 MB - Last synced: 19 days ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rgrinberg/PG Fork of ProofGeneral/PG

This repo is the new home of Proof General

Size: 25.4 MB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rgrinberg/persp-mode.el Fork of Bad-ptr/persp-mode.el

named perspectives(set of buffers/window configs) for emacs

Language: Emacs Lisp - Size: 518 KB - Last synced: 19 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0