| acl2 |
8.3-1 |
6 |
0.00 |
ACL2 theorem prover. |
soimort
|
| aoi |
3.1.0-1 |
41 |
0.00 |
A 3D modeling and rendering studio (Art of Illusion) |
soimort
|
| emacs-android-git |
20190903-1 |
8 |
0.00 |
Emacs minor mode for Android application development |
soimort
|
| emacs-arduino-mode-git |
20150609-1 |
6 |
0.00 |
Major mode for the Arduino language. |
soimort
|
| emacs-ats-mode |
20150609-2 |
0 |
0.00 |
Major mode for ATS programming language. |
soimort
|
| emacs-emmet-mode-git |
20180613-1 |
1 |
0.00 |
Minor mode providing support for Zen Coding, with Emmet's feature expansion. |
soimort
|
| emacs-idris-mode-git |
20150609-1 |
1 |
0.00 |
Major mode for editing Idris. |
soimort
|
| emacs-less-css-mode-git |
20150609-1 |
1 |
0.00 |
Major mode for LESS CSS (lesscss.org), with support for compile-on-save. |
soimort
|
| emacs-oz-mode |
20150609-1 |
1 |
0.00 |
Major mode for editing Mozart/Oz. |
soimort
|
| emacs-processing-mode-git |
20150609-1 |
2 |
0.00 |
Major mode for Processing 2.0. |
soimort
|
| emacs-whitespace-mode |
20150609-1 |
0 |
0.00 |
Major mode for editing Whitespace (an esoteric programming language). |
soimort
|
| fstar |
0.9.7.0-2 |
3 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| fstar-bin |
0.9.7.0-1 |
4 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| fstar-git |
20191019-1 |
6 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
| hol |
kananaskis.13-3 |
5 |
0.00 |
HOL4 theorem-proving system |
soimort
|
| hol-git |
20200210-1 |
0 |
0.00 |
HOL4 theorem-proving system |
soimort
|
| jpcsp |
r0f1ba37-1 |
33 |
0.00 |
Java PSP Emulator |
soimort
|
| kawa |
3.1.1-1 |
8 |
0.02 |
A Scheme implementation and framework targeted the JVM. |
soimort
|
| kawa-svn |
8533-1 |
1 |
0.00 |
Kawa is a JVM-based Scheme compiler |
soimort
|
| marst |
2.7-1 |
4 |
0.00 |
Algol to C translator |
soimort
|
| mathcomp-git |
20191007-1 |
1 |
0.00 |
The Mathematical Components Library for the Coq system. |
soimort
|
| miranda |
2.066-1 |
9 |
0.00 |
Miranda programming language |
soimort
|
| mlkit |
4.4.3-1 |
1 |
0.00 |
Standard ML Compiler and Toolkit |
soimort
|
| mosml |
2.10.1-1 |
4 |
0.00 |
Moscow ML is a light-weight implementation of Standard ML (SML) |
soimort
|
| nemerle |
1.2.507.0-1 |
8 |
0.00 |
A high-level statically-typed programming language for the .NET platform. |
soimort
|
| ocaml-batteries-git |
20191021-1 |
5 |
0.00 |
Batteries Included for OCaml |
soimort
|
| ocaml-cairo-git |
20150609-1 |
3 |
0.00 |
OCaml bindings for cairo |
soimort
|
| ocaml-menhir |
20200624-4 |
10 |
0.01 |
Menhir is a LR(1) parser generator for the OCaml. |
soimort
|
| ocaml-migrate-parsetree-git |
20190905-1 |
0 |
0.00 |
Convert OCaml parsetrees between different versions |
soimort
|
| ocaml-pprint |
20180523-1 |
0 |
0.00 |
An OCaml adaptation of Wadler's and Leijen's prettier printer. |
soimort
|
| ocaml-ppxfind-git |
20190513-3 |
0 |
0.00 |
ocamlfind ppx tool |
soimort
|
| ocaml-ppx_derivers-git |
20190404-3 |
0 |
0.00 |
deriving plugin registry |
soimort
|
| ocaml-ppx_deriving-git |
20191107-1 |
0 |
0.00 |
Type-driven code generation for OCaml >=4.02 |
soimort
|
| ocaml-ppx_deriving_yojson-git |
20200812-1 |
0 |
0.00 |
A Yojson codec generator for OCaml >= 4.02. |
soimort
|
| ocaml-ppx_tools-git |
20200211-1 |
0 |
0.00 |
Tools for authors of ppx rewriters and other syntactic tools |
soimort
|
| ocaml-process-git |
20160901-2 |
0 |
0.00 |
Easy process control in OCaml |
soimort
|
| ocaml-stdint-git |
20200208-3 |
0 |
0.00 |
Various signed and unsigned integers for OCaml |
soimort
|
| ocaml-yojson-git |
20190520-1 |
0 |
0.00 |
Low level JSON binary for OCaml |
soimort
|
| prover9 |
2009.11A-2 |
8 |
0.00 |
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
| smltojs |
4.4.3-1 |
1 |
0.00 |
Standard ML to JavaScript compiler |
soimort
|
| twelf |
1.7.1-2 |
0 |
0.00 |
An implementation of the logical framework LF |
soimort
|
| twelf-git |
20130819-3 |
1 |
0.00 |
An implementation of the logical framework LF |
soimort
|
| ulex-git |
20171127-4 |
0 |
0.00 |
ulex is a lexer generator for Unicode and OCaml |
soimort
|