Alternatives and similar repositories for dot-files

Users that are interested in dot-files are comparing it to the libraries listed below

• reflectionalist / DS-PhPL
  Discussion Seminar: Philosophy of Programming Lanugages
  ☆14Updated 11 years ago
• alexanderjeurissen / sombre.tmux
  A tmux colorscheme that predominately uses white, grays, and black.
  ☆19Updated 5 years ago
• let-def / ocp-indent-vim
  Integration of ocp-indent to vim.
  ☆29Updated 7 years ago
• KMahoney / kpm-list
  An Emacs buffer list
  ☆20Updated 7 years ago
• matt-noonan / retypd-data
  Data and scripts for the paper "Polymorphic Type Inference for Machine Code"
  ☆13Updated 9 years ago
• stedolan / ocaml-afl-persistent
  persistent-mode afl-fuzz for ocaml
  ☆17Updated 9 months ago
• Mondego / spacetime
  The spacetime framework for simulations
  ☆19Updated 4 years ago
• Mondego / crawler4py
  A web crawler in Python
  ☆22Updated 9 years ago
• jacksonrayhamilton / tern-jsx
  Tern plugin adding JSX support
  ☆21Updated 8 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆15Updated 10 months ago
• frex-project / metaocaml-frex
  ☆20Updated 3 months ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• ParkerK / Tigpiler
  A simple Tiger to MIPS compiler, written in Standard-ML
  ☆23Updated 12 years ago
• axiles / ocaml-efl
  An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary
  ☆27Updated 2 years ago
• flycheck / flycheck-ocaml
  OCaml support for Flycheck using Merlin
  ☆22Updated last year
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• clyfish / gcn-scrypt
  Scrypt opencl kernel written in AMD GCN ISA assembly language
  ☆20Updated 10 years ago
• reqT / reqT
  reqT is a requirements engineering desktop and terminal tool for software developers based on reqT-lang.
  ☆20Updated 6 months ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• ocaml / vim-ocaml
  Vim runtime files for OCaml
  ☆83Updated last month
• Ahnfelt / AlgorithmWStepByStep
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Updated 10 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Updated 7 years ago
• trvedata / opsets
  ☆13Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• Conceptual-Inertia / Inertia
  Inertia is the register-based, lightweight, Turing-complete virtual machine running a small set of bytecodes for benchmarking VM performa…
  ☆13Updated 8 years ago
• c-cube / olinq
  LINQ-like combinators for manipulating collections of in-memory data
  ☆17Updated 4 years ago
• OCamlPro / ocp-indent
  Indentation tool for OCaml, to be used from editors like Emacs and Vim.
  ☆205Updated 2 months ago