-
bap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
OCaml MIT License UpdatedSep 8, 2023 -
ocamltarzan Public
Forked from aryx/ocamltarzanCompile Time Reflection or Metaprogramming for OCaml
OCaml Other UpdatedJun 21, 2023 -
pfff Public
Forked from facebookarchive/pfffTools for code analysis, visualizations, or style-preserving source transformation.
OCaml Other UpdatedJun 21, 2023 -
systemd Public
Forked from systemd/systemdThe systemd System and Service Manager
C GNU General Public License v2.0 UpdatedNov 24, 2022 -
-
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedJul 16, 2022 -
-
-
authinfo Public
Forked from aartamonau/authinfoKISS password manager
-
sbv Public
Forked from LeventErkok/sbvSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Haskell Other UpdatedNov 28, 2020 -
ocamlfind Public
Forked from ocaml/ocamlfindThe OCaml findlib library manager
OCaml Other UpdatedJun 9, 2020 -
fsfoundation Public
Forked from dsyme/fsfoundationThe F# Software Foundation website
TeX UpdatedMar 6, 2020 -
visualfsharp Public
Forked from dotnet/fsharpThe Visual F# compiler and tools
F# MIT License UpdatedFeb 11, 2020 -
-
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
Emacs Lisp GNU General Public License v3.0 UpdatedOct 7, 2018 -
-
docs Public
Forked from dotnet/docsThis repository contains .NET Documentation.
PowerShell Creative Commons Attribution 4.0 International UpdatedMay 12, 2018 -
-
opam-repository Public
Forked from BinaryAnalysisPlatform/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
FSharp.Compiler.CodeDom Public
Forked from fsprojects/FSharp.Compiler.CodeDomAn F# CodeDOM implementation (based on the old F# Power Pack)
-
plugins Public
Forked from stepcut/pluginsDynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
Haskell GNU Lesser General Public License v2.1 UpdatedJan 23, 2018 -
gist.el Public
Forked from defunkt/gist.elYet another Emacs paste mode, this one for Gist.
Emacs Lisp UpdatedNov 28, 2017 -
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
OCaml Apache License 2.0 UpdatedOct 29, 2017 -
irony-mode Public
Forked from Sarcasm/irony-modeA C/C++ minor mode for Emacs powered by libclang
Emacs Lisp GNU General Public License v3.0 UpdatedOct 28, 2017 -
FSharp.Compiler.Service Public
Forked from fsharp/fsharp-compiler-docsThe F# compiler as a component. For editors. For analyzers. For love. You know you want it.
F# Other UpdatedOct 10, 2017 -
tuareg Public
Forked from ocaml/tuaregEmacs OCaml mode
Emacs Lisp GNU General Public License v2.0 UpdatedAug 25, 2017 -
flycheck-ocaml Public
Forked from flycheck/flycheck-ocamlOCaml support for Flycheck using Merlin
Emacs Lisp GNU General Public License v3.0 UpdatedJul 31, 2017 -
flycheck Public
Forked from flycheck/flycheckOn the fly syntax checking for GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedJul 31, 2017 -
popup-el Public
Forked from auto-complete/popup-elVisual Popup Interface Library for Emacs
Emacs Lisp UpdatedJun 1, 2017 -
flycheck-ats2 Public
Flycheck support for the ATS2 language
{{ message }}