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
• let-def / ocp-indent-vim
  Integration of ocp-indent to vim.
  ☆29Updated 7 years ago
• matt-noonan / retypd-data
  Data and scripts for the paper "Polymorphic Type Inference for Machine Code"
  ☆13Updated 9 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• Ahnfelt / AlgorithmWStepByStep
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Updated 11 years ago
• webyrd / declarative-semantics
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Updated 7 years ago
• jacksonrayhamilton / tern-jsx
  Tern plugin adding JSX support
  ☆21Updated 8 years ago
• ocaml / vim-ocaml
  Vim runtime files for OCaml
  ☆85Updated 3 months ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated last year
• KMahoney / kpm-list
  An Emacs buffer list
  ☆20Updated 8 years ago
• alexanderjeurissen / sombre.tmux
  A tmux colorscheme that predominately uses white, grays, and black.
  ☆19Updated 5 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• flycheck / flycheck-ocaml
  OCaml support for Flycheck using Merlin
  ☆22Updated last year
• stedolan / ocaml-afl-persistent
  persistent-mode afl-fuzz for ocaml
  ☆17Updated 11 months ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• Khady / merlin-eldoc
  Type and doc on hover for OCaml and Reason in emacs
  ☆44Updated 2 years ago
• frex-project / metaocaml-frex
  ☆21Updated 5 months 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
  ☆28Updated 2 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆10Updated 9 years ago
• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 6 years ago
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 12 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆48Updated 7 months ago
• ocaml-opam / opam-user-setup
  Simplify the configuration of editors for using OCaml tools
  ☆82Updated last year
• trvedata / opsets
  ☆13Updated 6 years ago
• 0x0f0f0f / dune-starter-project
  A simple OCaml project skeleton using dune, ppx_deriving and alcotest.
  ☆24Updated 5 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• Mondego / spacetime
  The spacetime framework for simulations
  ☆19Updated 4 years ago