42 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
acl2 8.5-1 6 0.00 ACL2 theorem prover. soimort 2022-12-13 00:26 (UTC)
aoi 3.2.1-1 41 0.00 A 3D modeling and rendering studio (Art of Illusion) soimort 2023-12-15 22:51 (UTC)
emacs-android-git 20190903-1 8 0.00 Emacs minor mode for Android application development soimort 2020-10-17 15:42 (UTC)
emacs-arduino-mode-git 20160102-1 6 0.00 Major mode for the Arduino language. soimort 2021-05-12 20:04 (UTC)
emacs-ats-mode 20150609-2 0 0.00 Major mode for ATS programming language. soimort 2018-03-24 12:20 (UTC)
emacs-emmet-mode-git 20180613-1 1 0.00 Minor mode providing support for Zen Coding, with Emmet's feature expansion. soimort 2020-07-24 00:46 (UTC)
emacs-less-css-mode-git 20181102-1 1 0.00 Major mode for LESS CSS (lesscss.org), with support for compile-on-save. soimort 2021-04-25 11:08 (UTC)
emacs-oz-mode 20150609-1 1 0.00 Major mode for editing Mozart/Oz. soimort 2015-06-09 06:37 (UTC)
emacs-processing-mode-git 20171023-1 2 0.00 Major mode for Processing 2.0. soimort 2021-06-27 18:58 (UTC)
emacs-whitespace-mode 20150609-2 0 0.00 Major mode for editing Whitespace (an esoteric programming language). soimort 2021-05-07 14:40 (UTC)
fstar 0.9.7.0-2 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-20 14:49 (UTC)
fstar-bin 0.9.7.0-1 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-20 00:11 (UTC)
fstar-git 20191019-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-19 23:55 (UTC)
hol kananaskis.14-1 5 0.00 HOL4 theorem-proving system soimort 2021-02-07 21:05 (UTC)
hol-git 20200210-1 0 0.00 HOL4 theorem-proving system soimort 2020-02-10 22:58 (UTC)
jpcsp r0f1ba37-1 32 0.00 Java PSP Emulator soimort 2018-02-20 09:42 (UTC)
kawa 3.1.1-1 8 0.00 A Scheme implementation and framework targeted the JVM. soimort 2020-01-19 01:09 (UTC)
kawa-svn 8533-1 1 0.00 Kawa is a JVM-based Scheme compiler soimort 2015-06-21 02:38 (UTC)
marst 2.7-2 6 0.00 Algol to C translator soimort 2021-05-07 12:54 (UTC)
mathcomp-git 20191007-1 1 0.00 The Mathematical Components Library for the Coq system. soimort 2019-10-12 12:15 (UTC)
miranda 2.066-1 10 0.00 Miranda programming language soimort 2020-03-04 23:20 (UTC)
mlkit 4.7.9-1 2 0.65 Standard ML Compiler and Toolkit soimort 2024-03-26 23:17 (UTC)
mosml 2.10.1-1 4 0.00 Moscow ML is a light-weight implementation of Standard ML (SML) soimort 2015-09-19 09:01 (UTC)
nemerle 1.2.507.0-1 8 0.00 A high-level statically-typed programming language for the .NET platform. soimort 2016-08-10 11:17 (UTC)
ocaml-batteries-git 20191021-1 4 0.00 Batteries Included for OCaml soimort 2019-10-21 12:50 (UTC)
ocaml-cairo-git 20201125-1 3 0.00 OCaml binding to Cairo, a 2D Vector Graphics Library soimort 2021-05-13 12:25 (UTC)
ocaml-menhir 20231231-1 11 0.00 Menhir is a LR(1) parser generator for the OCaml. soimort 2024-01-11 16:20 (UTC)
ocaml-migrate-parsetree-git 20190905-1 0 0.00 Convert OCaml parsetrees between different versions soimort 2019-10-19 16:35 (UTC)
ocaml-pprint 20180523-1 0 0.00 An OCaml adaptation of Wadler's and Leijen's prettier printer. soimort 2019-10-19 20:16 (UTC)
ocaml-ppxfind-git 20190513-3 0 0.00 ocamlfind ppx tool soimort 2020-02-11 21:35 (UTC)
ocaml-ppx_derivers-git 20190404-3 0 0.00 deriving plugin registry soimort 2020-09-20 13:22 (UTC)
ocaml-ppx_deriving-git 20191107-1 0 0.00 Type-driven code generation for OCaml >=4.02 soimort 2019-12-14 13:04 (UTC)
ocaml-ppx_deriving_yojson-git 20220816-1 1 0.00 A Yojson codec generator for OCaml >= 4.02. soimort 2023-01-24 17:38 (UTC)
ocaml-ppx_tools-git 20200211-1 0 0.00 Tools for authors of ppx rewriters and other syntactic tools soimort 2020-02-11 21:22 (UTC)
ocaml-process-git 20160901-2 0 0.00 Easy process control in OCaml soimort 2019-10-19 21:10 (UTC)
ocaml-stdint-git 20200208-3 0 0.00 Various signed and unsigned integers for OCaml soimort 2020-05-29 16:05 (UTC)
ocaml-yojson-git 20231123-1 0 0.00 Low level JSON binary for OCaml soimort 2023-12-17 21:55 (UTC)
prover9 2009.11A-3 8 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort 2021-04-25 10:51 (UTC)
smltojs 4.4.3-1 1 0.00 Standard ML to JavaScript compiler soimort 2019-08-02 09:46 (UTC)
twelf 1.7.1-4 1 0.00 An implementation of the logical framework LF soimort 2021-05-07 15:34 (UTC)
twelf-git 20130819-4 1 0.00 An implementation of the logical framework LF soimort 2021-01-23 20:24 (UTC)
ulex-git 20171127-4 0 0.00 ulex is a lexer generator for Unicode and OCaml soimort 2020-02-11 21:18 (UTC)

42 packages found. Page 1 of 1.