ocaml-psmt2-frontend-git
|
r22.bb35b53-1 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2020-05-18 19:29 (UTC) |
ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
ocaml-ppx_variants_conv
|
1:0.17.0-2 |
1 |
0.00
|
Generation of accessor and iteration functions for ocaml variant types |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_typerep_conv
|
1:0.17.0-2 |
1 |
0.00
|
Generation of runtime types from type declarations |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_tydi
|
0.17.0-2 |
0 |
0.00
|
Let expressions, inferring pattern type from expression |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_stable_witness
|
0.17.0-2 |
0 |
0.00
|
Ppx extension for deriving a witness that a type is intended to be stable |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_stable
|
0.17.0-2 |
0 |
0.00
|
Stable types conversions generator |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_sexp_conv
|
1:0.17.0-2 |
1 |
0.00
|
Generation of S-expression conversion functions from type definitions |
dpeukert
|
2024-06-02 18:11 (UTC) |
ocaml-ppx_hash
|
0.17.0-2 |
0 |
0.00
|
A ppx rewriter that generates hash functions from type expressions and definitions |
dpeukert
|
2024-06-02 18:09 (UTC) |
ocaml-ppx_enumerate
|
1:0.17.0-2 |
1 |
0.00
|
Generate a list containing all values of a finite type |
dpeukert
|
2024-06-02 18: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-ppx_deriving
|
1:6.0.2-2 |
1 |
0.00
|
Type-driven code generation for OCaml |
dpeukert
|
2024-06-02 18:08 (UTC) |
ocaml-ppx_compare
|
1:0.17.0-2 |
1 |
0.00
|
Generation of comparison functions from types |
dpeukert
|
2024-06-02 18:08 (UTC) |
ocaml-ppx_bin_prot
|
1:0.17.0-2 |
1 |
0.00
|
Generation of bin_prot readers and writers from types |
dpeukert
|
2024-06-02 18:08 (UTC) |
ocaml-mirage-clock
|
4.2.0-2 |
0 |
0.00
|
Libraries and module types for portable clocks |
dpeukert
|
2024-06-02 18:07 (UTC) |
ocaml-iter
|
1.8-2 |
0 |
0.00
|
Simple iterator abstract datatype for OCaml |
dpeukert
|
2024-06-02 18:05 (UTC) |
ocaml-fstar
|
0.9.6.0-4 |
1 |
0.00
|
An ML-like language with a type system for program verification. |
crave
|
2018-10-13 09:10 (UTC) |
ocaml-cil-git
|
r4768.673aa00b-1 |
0 |
0.00
|
C Intermediate Language CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. |
orphan
|
2022-11-04 16:11 (UTC) |
ocaml-base_bigstring
|
0.17.0-2 |
0 |
0.00
|
String type based on Bigarray, for use in I/O and C-bindings |
dpeukert
|
2024-06-02 18:03 (UTC) |
ocaml-atdts
|
2.15.0-1 |
2 |
0.00
|
TypeScript code generation for ATD APIs |
dringsim
|
2024-04-20 16:13 (UTC) |
ocaml-atd
|
2.15.0-1 |
2 |
0.00
|
Adaptable type definitions for OCaml |
dringsim
|
2024-04-20 16:13 (UTC) |
obs-dvds3
|
1.1-5 |
1 |
0.00
|
Will it hit the corner? OBS Studio plugin, which adds a dvd screen saver source type |
tytan652
|
2024-02-20 12:39 (UTC) |
nvim-ghost-git
|
0.3.2.r20.ga1ca0b2-1 |
2 |
0.00
|
Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser. This is the nvim-only plugin (git version) |
ZenRen
|
2023-09-18 21:55 (UTC) |
nvim-crystal-git
|
r148.dd5470e-1 |
0 |
0.00
|
nvim filetype and tools support for Crystal language. |
notramo
|
2017-09-21 10:48 (UTC) |
nushell-kodi
|
34c09d6b7-1 |
0 |
0.00
|
A new type of shell |
KodiCraft
|
2022-12-27 17:33 (UTC) |
nushell-git
|
0.77.0.r6.g24ee381-1 |
5 |
0.00
|
A new type of shell |
flaviut
|
2024-03-28 01:09 (UTC) |
numbat-git
|
1.10.1.r12.g1fbf8a0-1 |
0 |
0.00
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
Chocobo1
|
2024-02-21 19:31 (UTC) |
numbat-bin
|
1.12.0-1 |
2 |
0.01
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-05-28 20:20 (UTC) |
numbat
|
1.12.0-1 |
2 |
0.01
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-05-28 19:35 (UTC) |
noto-fonts-slim-vf
|
20220327-1 |
1 |
0.00
|
Google Noto variable fonts (limited typefaces coverage) |
tinywrkb
|
2022-03-30 13:37 (UTC) |
noto-fonts-cjk-otf
|
20170601-3 |
2 |
0.00
|
Google Noto CJK fonts, use OTF type to solve some font fallback problems |
zyldragoon
|
2017-07-27 15:03 (UTC) |
notejot-git
|
r975.c7a7866-1 |
1 |
0.00
|
A stupidly-simple sticky notes application for any type of short term notes or ideas |
grufo
|
2023-10-29 00:20 (UTC) |
notejot
|
3.5.1-1 |
7 |
0.00
|
A stupidly-simple sticky notes application for any type of short term notes or ideas |
grufo
|
2023-10-29 00:06 (UTC) |
nordpy-plasmoid-git
|
r10.ec6491c-1 |
2 |
0.00
|
Plasma widget to control NordPy; it uses the last server type used within nordpy to establish the VPN connection. |
morpheusthewhite
|
2020-11-01 21:49 (UTC) |
nodejs-type-fest
|
0.19.0-1 |
0 |
0.00
|
A collection of essential TypeScript types. |
orphan
|
2020-11-19 23:52 (UTC) |
nodejs-ts-standard
|
11.0.0-1 |
0 |
0.00
|
Typescript Standard Style based on StandardJS |
orphan
|
2021-12-10 03:16 (UTC) |
nodejs-gitignore
|
0.6.0-1 |
0 |
0.00
|
Automatically fetch gitignore files for any project type from github into your new project |
orphan
|
2020-05-13 11:44 (UTC) |
nim-git
|
1:1.6.8.r1359.a852b2e9cf-1 |
9 |
0.00
|
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority). |
0x647262
|
2023-05-20 16:26 (UTC) |
ngrrram-git
|
1.0.3.r2.gac122c3-1 |
0 |
0.00
|
A TUI tool to help you type faster and learn new layouts. Includes a free cat. |
Gallifreyan
|
2024-05-27 18:57 (UTC) |
ngrrram-bin
|
1.0.3-1 |
0 |
0.00
|
A TUI tool to help you type faster and learn new layouts. Includes a free cat. |
Gallifreyan
|
2024-05-27 19:32 (UTC) |
nginx-mod-mime-magic
|
0.1.0-1 |
2 |
0.00
|
Set Content-Type mime-type automatically from the magic bytes of some file! (Similar to file(1)) |
Yureien
|
2022-05-26 15:14 (UTC) |
nexus3-cli
|
4.1.3-1 |
1 |
0.00
|
A python-based CLI for Sonatype Nexus OSS 3 |
marquicus
|
2021-08-11 15:42 (UTC) |
netperf-git
|
2.7.0.r48.g3bc455b-2 |
0 |
0.00
|
Benchmarking tool for many different types of networking |
Chocobo1
|
2023-04-12 14:05 (UTC) |
nerd-fonts-ricty
|
2.0.0-6 |
2 |
0.00
|
Japanese TrueType font for developers by mixing InconsolataGo patched nerd-fonts and Migu 1M. |
lafr4nc3
|
2020-04-06 07:31 (UTC) |
neovim-nerdcommenter
|
2.6.0-2 |
3 |
0.00
|
A Neovim plugin that allows for easy commenting of code for many filetypes |
MagicAndWires
|
2022-01-22 23:05 (UTC) |
neovim-lsp_signature
|
0.2.0-3 |
1 |
0.28
|
LSP signature hint as you type |
orphan
|
2024-03-20 14:02 (UTC) |
neovim-headlines
|
3.3.0-1 |
0 |
0.00
|
Adds highlights for text filetypes |
orphan
|
2022-07-19 21:31 (UTC) |
neovim-filetype
|
0.4-1 |
0 |
0.00
|
Faster version of filetype.vim |
orphan
|
2022-07-18 18:55 (UTC) |
neovim-coc-tsserver-git
|
1.5.8.r0.g334a3dd-1 |
0 |
0.00
|
JavaScript & TypeScript support for coc.nvim |
sainnhe
|
2023-09-17 06:46 (UTC) |
nemo-qml-plugin-dbus
|
2.1.34-1 |
2 |
0.00
|
Provides types to access D-Bus from QML |
realroot
|
2024-04-13 15:45 (UTC) |