|
hashem
|
0.07-1 |
0 |
0.00
|
Mr. Hashemi Programming Language |
orphan
|
2021-07-24 10:26 (UTC) |
|
haskell-agda-language-server
|
0.2.1-22 |
1 |
0.00
|
An implementation of language server protocal (LSP) for Agda 2. |
phijor
|
2022-08-21 15:11 (UTC) |
|
haskell-diagrams-core
|
1.4.1.1-1 |
0 |
0.00
|
The core modules underlying diagrams, an embedded domain-specific language for compositional, declarative drawing. |
orphan
|
2019-02-06 16:20 (UTC) |
|
haskell-extensions
|
0.0.0.1-1 |
0 |
0.00
|
Parse Haskell Language Extensions |
ulidtko
|
2022-04-27 10:32 (UTC) |
|
haskell-language-c5
|
0.5.0-6 |
0 |
0.00
|
Analysis and generation of C code |
pure-aur
|
2022-08-07 09:48 (UTC) |
|
haskell-language-docker
|
9.1.3-1 |
0 |
0.00
|
Dockerfile parser, pretty-printer and embedded DSL |
m-pilia
|
2021-03-02 16:38 (UTC) |
|
haskell-language-glsl
|
0.3.0-1 |
0 |
0.00
|
GLSL abstract syntax tree, parser, and pretty-printer |
cheatsc
|
2023-01-17 10:14 (UTC) |
|
haskell-language-server-git
|
r77.80bc2e8-1 |
1 |
0.00
|
Integration point for ghcide and haskell-ide-engine. |
Poscat
|
2020-02-18 15:54 (UTC) |
|
haskell-lsp-git
|
1.1.1.0.r417.gcd5708b-1 |
0 |
0.00
|
Haskell library for the Microsoft Language Server Protocol |
berberman
|
2021-03-09 10:42 (UTC) |
|
haskell-lsp-types-git
|
1.1.1.0.r417.gcd5708b-1 |
0 |
0.00
|
Haskell library for the Microsoft Language Server Protocol, data types |
berberman
|
2021-03-09 10:42 (UTC) |
|
haskeme
|
0.1.0.1.57d5a8f-1 |
0 |
0.00
|
Compiler from I- to S-Expressions for the Scheme Programming Language |
orphan
|
2019-06-30 21:40 (UTC) |
|
havm-epita
|
0.28-1 |
0 |
0.00
|
HAVM is a Tree intermediate language interpreter. |
zarak
|
2019-05-27 17:16 (UTC) |
|
havm-git
|
0.28-1 |
0 |
0.00
|
HAVM is a Tree intermediate language interpreter. |
laurentzh
|
2019-06-28 12:52 (UTC) |
|
haxe-git
|
git-1 |
5 |
0.00
|
An open-source high-level multiplatform programming language and compiler that can produce applications and source code for many different platforms from a single code-base |
cthuflu
|
2019-01-28 18:56 (UTC) |
|
headmaster-git
|
0.28.r15.g96c3387-2 |
0 |
0.00
|
translate c header files to another language |
Earnest
|
2019-01-19 23:03 (UTC) |
|
hets-desktop
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:07 (UTC) |
|
hets-desktop-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
|
hets-server
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
|
hets-server-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:09 (UTC) |
|
hexa-git
|
232-1 |
1 |
0.00
|
Hexa is a programming language in an early stage of development |
expwez
|
2023-07-04 22:49 (UTC) |
|
hget-git
|
r32.8cff5f7-1 |
0 |
0.00
|
Rocket fast, interruptable, resumable download accelerator written in Golang |
Kr1ss
|
2019-01-30 19:29 (UTC) |
|
hipify-clang-git
|
r1415.a53fe40-1 |
0 |
0.00
|
Clang-based tool for translating CUDA sources into HIP sources |
aviallon
|
2021-09-20 09:07 (UTC) |
|
hobbes-git
|
20170710-1 |
0 |
0.00
|
Language, JIT compiler and DB from Morgan Stanley |
orphan
|
2018-10-30 08:52 (UTC) |
|
hp2xx
|
3.4.4-4 |
4 |
0.00
|
Convert vector-oriented graphics data from HP-GL plotter language into a variety of popular graphics formats. |
CodingMarco
|
2018-04-21 10:58 (UTC) |
|
hptools-git
|
r4.dfa489f-1 |
0 |
0.00
|
Tools from HP for assembling Saturn Assembly Language and compiling SysRPL. |
martinyr
|
2020-06-22 14:27 (UTC) |
|
hush
|
0.1.4.alpha-1 |
0 |
0.00
|
A unix shell scripting language based on the Lua programming language |
grawlinson
|
2022-07-01 07:18 (UTC) |
|
husk
|
0.9.13-1 |
4 |
0.00
|
An iptables front-end to allow rules to be expressed in a more flexible, free-form style using language. |
orphan
|
2018-05-17 01:53 (UTC) |
|
hy-hyrule
|
0.4.0-1 |
0 |
0.00
|
A utility library for the Hy programming language |
SaltRockLamp
|
2024-01-02 04:37 (UTC) |
|
ibrowse-git
|
20101026-1 |
2 |
0.00
|
Erlang HTTP client |
Ice_Phoenix
|
2015-07-01 09:54 (UTC) |
|
ibus-ancient-git
|
r11.399cba4-1 |
0 |
0.00
|
ibus-compatible input methods and keyboards for ancient languages. |
narwic
|
2021-01-14 00:13 (UTC) |
|
icon-git
|
1:9.5.22e-1 |
3 |
0.00
|
The Icon programming language |
aksr
|
2022-08-05 16:29 (UTC) |
|
idos-timetable-browser-latest
|
1.30_lib2.11.0.0_date2023_06_08-5 |
1 |
0.00
|
Offline railway and other public transport timetable search engine by CHAPS. (Czech language by default.) |
dreieck
|
2024-01-14 22:30 (UTC) |
|
idutils
|
4.6-2 |
15 |
0.00
|
A package of language independent tools that indexes program identifiers, literal numbers, or words of human-readable text. |
petronny
|
2022-07-17 14:07 (UTC) |
|
ifm-git
|
r1090.1f6eb78-1 |
0 |
0.00
|
A language and a program for keeping track of your progress through an Interactive Fiction game. |
zocker_160
|
2021-07-21 14:18 (UTC) |
|
ignore
|
0.1.4-1 |
2 |
0.00
|
Download .gitignore files for a given language. |
nicoulaj
|
2017-02-12 18:42 (UTC) |
|
include-what-you-use-clang13-git
|
r1091.fbd921d-1 |
1 |
0.00
|
A tool for use with clang to analyze #includes in C and C++ source files - clang_13 git branch |
WillyPillow
|
2022-05-04 03:04 (UTC) |
|
indent-git
|
2.2.13.r0.g6cbad4c-1 |
0 |
0.00
|
C language source code formatting program |
Chocobo1
|
2023-04-10 19:13 (UTC) |
|
inform7-git
|
10.2.0_beta+6W49-1 |
1 |
0.00
|
A design system for interactive fiction based on natural language (git version) |
orphan
|
2023-05-17 16:50 (UTC) |
|
inform7-ide
|
2.0.0-1 |
25 |
0.00
|
a ide for the inform language/compiler |
silverhikari
|
2023-06-13 06:34 (UTC) |
|
inform7-ide-git
|
2.0.0.r89.g94b9c510-1 |
0 |
0.00
|
a ide for the inform language/compiler |
silverhikari
|
2023-06-13 06:19 (UTC) |
|
inko
|
0.14.0-1 |
0 |
0.00
|
A language for building concurrent software with confidence |
yorickpeterse
|
2024-02-05 15:13 (UTC) |
|
inko-git
|
0.13.0.r0.g183e5633-1 |
0 |
0.00
|
A language for building concurrent software with confidence |
yorickpeterse
|
2024-05-29 23:12 (UTC) |
|
inky
|
0.15.0-1 |
2 |
0.00
|
Editor for ink: inkle's narrative scripting language |
Dylan14
|
2024-06-12 14:34 (UTC) |
|
intel-opencl-clang-git
|
11.0.0.r16.g65d5b66-1 |
0 |
0.00
|
Wrapper library around clang that can compile OpenCL C kernels to SPIR-V modules (git version) |
dbermond
|
2021-05-24 19:40 (UTC) |
|
intel2gas
|
1.3.3-7 |
3 |
0.00
|
Converts assembly language files between NASM and GNU assembler syntax |
orphan
|
2017-08-05 06:00 (UTC) |
|
io-git
|
20151111.11.g457b5ff-1 |
8 |
0.00
|
Io is a prototype-based programming language inspired by Smalltalk |
navigaid
|
2016-02-04 18:43 (UTC) |
|
iortcw-it
|
1.51c-1 |
0 |
0.00
|
Return to Castle Wolfenstein Single Player Italian Language File |
robertfoster
|
2019-12-15 15:57 (UTC) |
|
ipv666
|
0.4.0-1 |
0 |
0.00
|
Golang IPv6 address enumeration |
orphan
|
2020-02-09 23:08 (UTC) |
|
irony-mode
|
1.6.1-1 |
1 |
0.00
|
A C/C++ minor mode for Emacs powered by libclang |
adsun
|
2023-10-19 01:34 (UTC) |
|
iso-relax
|
20041111-2 |
6 |
0.00
|
Schema language neutral interface for XML document validators |
MRWITEK
|
2021-02-03 11:05 (UTC) |