mlkit
|
4.7.9-1 |
2 |
0.32
|
Standard ML Compiler and Toolkit |
soimort
|
2024-03-26 23:17 (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-yojson-git
|
20231123-1 |
0 |
0.00
|
Low level JSON binary for OCaml |
soimort
|
2023-12-17 21:55 (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) |
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) |
acl2
|
8.5-1 |
6 |
0.00
|
ACL2 theorem prover. |
soimort
|
2022-12-13 00:26 (UTC) |
emacs-processing-mode-git
|
20171023-1 |
2 |
0.00
|
Major mode for Processing 2.0. |
soimort
|
2021-06-27 18:58 (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) |
emacs-arduino-mode-git
|
20160102-1 |
6 |
0.00
|
Major mode for the Arduino language. |
soimort
|
2021-05-12 20:04 (UTC) |
twelf
|
1.7.1-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-05-07 15:34 (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) |
marst
|
2.7-2 |
6 |
0.00
|
Algol to C translator |
soimort
|
2021-05-07 12:54 (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) |
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) |
hol
|
kananaskis.14-1 |
5 |
0.00
|
HOL4 theorem-proving system |
soimort
|
2021-02-07 21:05 (UTC) |
twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (UTC) |
emacs-android-git
|
20190903-1 |
8 |
0.00
|
Emacs minor mode for Android application development |
soimort
|
2020-10-17 15:42 (UTC) |
ocaml-ppx_derivers-git
|
20190404-3 |
0 |
0.00
|
deriving plugin registry |
soimort
|
2020-09-20 13:22 (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) |
ocaml-stdint-git
|
20200208-3 |
0 |
0.00
|
Various signed and unsigned integers for OCaml |
soimort
|
2020-05-29 16:05 (UTC) |
miranda
|
2.066-1 |
10 |
0.00
|
Miranda programming language |
soimort
|
2020-03-04 23:20 (UTC) |
ocaml-ppxfind-git
|
20190513-3 |
0 |
0.00
|
ocamlfind ppx tool |
soimort
|
2020-02-11 21:35 (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) |
ulex-git
|
20171127-4 |
0 |
0.00
|
ulex is a lexer generator for Unicode and OCaml |
soimort
|
2020-02-11 21:18 (UTC) |
hol-git
|
20200210-1 |
0 |
0.00
|
HOL4 theorem-proving system |
soimort
|
2020-02-10 22:58 (UTC) |
kawa
|
3.1.1-1 |
8 |
0.00
|
A Scheme implementation and framework targeted the JVM. |
soimort
|
2020-01-19 01:09 (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-batteries-git
|
20191021-1 |
4 |
0.00
|
Batteries Included for OCaml |
soimort
|
2019-10-21 12:50 (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) |
ocaml-process-git
|
20160901-2 |
0 |
0.00
|
Easy process control in OCaml |
soimort
|
2019-10-19 21:10 (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-migrate-parsetree-git
|
20190905-1 |
0 |
0.00
|
Convert OCaml parsetrees between different versions |
soimort
|
2019-10-19 16:35 (UTC) |
mathcomp-git
|
20191007-1 |
1 |
0.00
|
The Mathematical Components Library for the Coq system. |
soimort
|
2019-10-12 12:15 (UTC) |
smltojs
|
4.4.3-1 |
1 |
0.00
|
Standard ML to JavaScript compiler |
soimort
|
2019-08-02 09:46 (UTC) |
emacs-ats-mode
|
20150609-2 |
0 |
0.00
|
Major mode for ATS programming language. |
soimort
|
2018-03-24 12:20 (UTC) |
jpcsp
|
r0f1ba37-1 |
32 |
0.00
|
Java PSP Emulator |
soimort
|
2018-02-20 09:42 (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) |
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) |
kawa-svn
|
8533-1 |
1 |
0.00
|
Kawa is a JVM-based Scheme compiler |
soimort
|
2015-06-21 02:38 (UTC) |
emacs-oz-mode
|
20150609-1 |
1 |
0.00
|
Major mode for editing Mozart/Oz. |
soimort
|
2015-06-09 06:37 (UTC) |