ciaranm/dotfiles ciaranm/dotfiles

  • Stars
    star
    19
  • Rank 1,140,841 (Top 23 %)
  • Language
    Lua
  • Created almost 16 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ciaranm/dotfiles
github

ciaranm

Reviews

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

Repository Details

My dotfiles

More Repositories

1

detectindent

Vim script for automatically detecting indent settings
Vim Script
174
star
2

inkpot

Inkpot 88/256 Colour Scheme for Vim
Vim Script
153
star
3

securemodelines

A secure alternative to Vim modelines
Vim Script
106
star
4

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
C++
62
star
5

cp2015-subgraph-isomorphism

CP 2015 subgraph isomorphism experiments, data and paper
C++
13
star
6

glasgow-constraint-solver

A constraint programming solver with support for proof logging
C++
11
star
7

parasols

Parallel solvers for hard problems
C++
11
star
8

aaai17-between-subgraph-isomorphism-and-maximum-common-subgraph-paper

9
star
9

sicsa-multicore-challenge-iii

Third SICSA Multicore Challenge
TeX
4
star
10

paludis-overlay

Paludis overlay for Gentoo
Shell
4
star
11

googletest-syntax

Vim syntax highlighting for googletest
Vim Script
3
star
12

multithreadedmaximumclique

Multi-threaded maximum clique solver
C++
2
star
13

decision-diagrams

C++
1
star
14

research-overview-talk

Gnuplot
1
star
15

jair-really-hard-sip-paper

Gnuplot
1
star
16

subgraph-isomorphism-in-practice-talk

Gnuplot
1
star
17

lion2016-sip-portfolios-paper

1
star
18

ijcai2021-clique-constraints-paper

C++
1
star
19

cpm2018-lectures

TeX
1
star
20

cp2015-boats-paper

TeX
1
star
21

cpaior2021-finding-subgraphs-with-side-constraints

TeX
1
star