cmsbooklet-git
|
r86.b8f3cc6-1 |
0 |
0.00
|
cmsbooklet is a tool meant to facilitate the typesetting of olympic problems. It is designed to work well with CMS, the Contest Management System. |
edomora97
|
2018-10-17 16:12 (UTC) |
clspv-git
|
r396.88ed5fe-2 |
0 |
0.00
|
A prototype compiler for a subset of OpenCL C to Vulkan compute shaders |
henry0w
|
2020-05-16 20:45 (UTC) |
cloudabi
|
0.21-1 |
0 |
0.00
|
Constants, types and data structures used by CloudABI |
de-vries
|
2019-02-27 13:25 (UTC) |
cl-zpb-ttf
|
1.0.3-1 |
4 |
0.00
|
Use truetype fonts in common lisp |
DacodaS
|
2017-03-01 05:46 (UTC) |
cl-shop2
|
2.9.0-1 |
1 |
0.00
|
SHOP (Simple Hierarchical Ordered Planner) is a domain-independent automated-planning system that is based on ordered task decomposition, which is a type of Hierarchical Task Network (HTN) planning |
Sandmann
|
2015-06-27 13:50 (UTC) |
cito-git
|
3.1.2+50.r2508.20240323.0490a98-1 |
0 |
0.00
|
The Ć Programming Language. A programming language which can be translated automatically to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. |
dreieck
|
2024-03-24 20:00 (UTC) |
cicada-bin
|
0.1.50-1 |
1 |
0.00
|
Write CI/CD Pipelines in TypeScript |
orphan
|
2023-04-28 07:26 (UTC) |
chromium-umatrix-git
|
1.4.1b6.5.g0bcb766-1 |
0 |
0.00
|
Point and click matrix to filter net requests according to source, destination and type |
heavysink
|
2020-04-02 17:27 (UTC) |
chicken-typed-records
|
0.82-1 |
0 |
0.00
|
Typed variants of various record-definition macros for Chicken Scheme |
Junker
|
2024-01-02 13:57 (UTC) |
chicken-srfi-99
|
1.4.5-1 |
0 |
0.00
|
SRFI-99 record types for Chicken Scheme |
Junker
|
2024-01-02 13:47 (UTC) |
chicken-srfi-94
|
0.1-1 |
0 |
0.00
|
SRFI 94: Type-Restricted Numerical Functions for Chicken Scheme |
Junker
|
2024-01-02 15:25 (UTC) |
chicken-srfi-19
|
4.9.5-1 |
0 |
0.00
|
Time Data Types and Procedures for Chicken Scheme |
Junker
|
2024-01-02 13:45 (UTC) |
chicken-srfi-137
|
0.2-1 |
0 |
0.00
|
SRFI-137: Minimal Unique Types for Chicken Scheme |
Junker
|
2024-01-02 14:39 (UTC) |
chicken-records
|
1.4-1 |
0 |
0.00
|
Procedural record-type interface for Chicken Scheme |
Junker
|
2024-01-02 14:56 (UTC) |
chess-merida-unicode
|
1.1-1 |
2 |
0.01
|
A truetype chess font for diagrams and figurine notation |
antoyo
|
2016-10-03 16:11 (UTC) |
chess-merida
|
1.1-2 |
6 |
0.00
|
A truetype chess font for diagrams and figurine notation |
aksr
|
2023-05-31 05:17 (UTC) |
chdk-acid-bin
|
1.16_2007-2 |
0 |
0.00
|
Tool to identify camera type and firmware version of several Canon compact cameras, and to automatically download the proper CHDK build. |
dreieck
|
2023-01-07 23:06 (UTC) |
ceylon-git
|
master-1 |
2 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2015-11-25 17:49 (UTC) |
ceylon
|
1.3.3-1 |
6 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2017-08-22 12:58 (UTC) |
cct
|
1.44-1 |
0 |
0.00
|
CCT: A Chinese Characters Typesetting System for LaTeX |
mathmhb
|
2016-04-07 09:46 (UTC) |
carp-git
|
v0.3.0.r198.g6954642c-1 |
0 |
0.00
|
A statically typed lisp, without a GC, for real-time applications. |
orphan
|
2019-11-13 19:12 (UTC) |
canvas-git
|
r19.e74dda7-5 |
0 |
0.00
|
A bash script to generate and apply different types of gradient & blured wallpapers. |
orphan
|
2020-06-24 05:43 (UTC) |
bridje-bin
|
0.0.3-1 |
1 |
0.00
|
Bridje is a statically typed LISP targeting GraalVM, drawing inspiration from both Clojure and Haskell. |
jarohen
|
2021-05-02 19:35 (UTC) |
boron
|
2.0.6-1 |
1 |
0.00
|
An interpreted, prototype-based, scripting language similar to Rebol. |
orphan
|
2022-01-22 06:08 (UTC) |
bluetype-git
|
r31.1bd524e-1 |
0 |
0.00
|
A fast and lightweight word processor |
igor-dyatlov
|
2022-08-08 15:21 (UTC) |
biome
|
1.7.3-1 |
3 |
0.16
|
Formatter, linter, and more for Javascript, Typescript, JSON, and CSS |
alerque
|
2024-05-06 11:03 (UTC) |
bin2hex-git
|
r5.aa6b51a-15 |
0 |
0.00
|
Convert raw binary files to Intel "IHEX" type files (used for loading large chunks of data into an Arduino board) |
taotieren
|
2024-01-23 12:02 (UTC) |
bash-ctypes-git
|
r56.b0800b2-1 |
2 |
0.00
|
Foreign Function Interface for Bash |
fbrennan
|
2015-09-16 09:53 (UTC) |
basedpyright-git
|
v1.10.4.r0.g52051238a-1 |
2 |
1.75
|
Fork of pyright, a static type checker for Python, with various improvements and new features |
Schnouki
|
2024-04-25 20:04 (UTC) |
autotype
|
1.0.0.r6.f5b6527-2 |
1 |
0.00
|
Unicode-friendly tool for faking key presses to type strings on X11 |
vaygr
|
2023-06-11 13:14 (UTC) |
austral-git
|
v0.2.0.r3.gd8ccef5-2 |
0 |
0.00
|
Systems language with linear types and capability-based security. |
hhhhhhhhhn
|
2023-08-06 04:43 (UTC) |
audiowide-font
|
1.0-2 |
0 |
0.00
|
Audiowide is a sans serif, technology styled, typeface composed of soft corner tubular forms. With vague nods to letter styles like that of Handel Gothic and the Converse logo. |
nguillaumin
|
2022-08-14 09:39 (UTC) |
ats2-postiats
|
0.4.2-1 |
12 |
0.00
|
Statically typed programming language |
orphan
|
2021-03-11 01:19 (UTC) |
atool2-git
|
r24.c135b88-2 |
3 |
0.00
|
A script for managing file archives of various types (with zstd support) |
solsticedhiver
|
2022-09-13 13:53 (UTC) |
atapi-mimetypes
|
1-3 |
0 |
0.00
|
Various MIME types for my own personal use :3 |
Sterophonick
|
2024-04-18 16:15 (UTC) |
astrojs-ts-plugin
|
1.7.0-1 |
0 |
0.00
|
TypeScript plugin adding support for .astro imports in .ts files |
schlmm
|
2024-05-07 10:32 (UTC) |
astal-git
|
r488.4e4b4eb-1 |
1 |
0.28
|
JavaScript/TypeScript framework for creating Linux Desktops ontop of Wayland compositors |
kotontrion
|
2024-03-28 13:03 (UTC) |
assemblyscript-git
|
v0.19.16.r1.g250dc70b4-2 |
0 |
0.00
|
Compiles TypeScript to WebAssembly using Binaryen |
threecgreen
|
2021-09-21 14:32 (UTC) |
assemblyscript
|
0.27.27-1 |
1 |
0.00
|
TypeScript to WebAssembly compiler |
Chocobo1
|
2024-04-11 05:02 (UTC) |
arm-none-eabi-yiolibc
|
v0.3.0-3 |
0 |
0.00
|
Yio Input Output C Library that aims in type-safe printf replacement |
Kamilcuk
|
2021-10-16 12:41 (UTC) |
arkade-bin
|
1:0.8.46-1 |
0 |
0.00
|
Your one-stop CLI for Kubernetes. provides a simple CLI with strongly-typed flags to install charts and apps to your cluster in one command. |
ayr-ton
|
2022-10-16 03:14 (UTC) |
arend
|
1.5.0-1 |
0 |
0.00
|
Proof assistant based on Homotopy Type Theory |
knisht
|
2020-10-10 11:27 (UTC) |
apple-sf-script-extension-fonts
|
1.0-1 |
1 |
0.21
|
Apple SF Script Extensions, containing SF Arabic, SF Armenian, SF Georgian and SF Hebrew, designed to fit with SF Pro for multilingual typesetting |
Bubbu0129
|
2024-02-22 14:53 (UTC) |
apertium-caffeine
|
1.0-3 |
0 |
0.00
|
A multi-platform Java application built on top of lttoolbox-java that translates as you type. |
orphan
|
2021-11-14 22:19 (UTC) |
anytype-electron-bin
|
0.40.11-1 |
4 |
0.58
|
Operating environment for the new internet. Anytype is a next generation software that breaks down barriers between applications, gives back privacy and data ownership to users. |
hearth
|
2024-05-04 10:49 (UTC) |
anytype-bin
|
0.40.8-2 |
20 |
1.15
|
Operating environment for the new internet. Anytype is a next generation software that breaks down barriers between applications, gives back privacy and data ownership to users. |
elementh
|
2024-04-28 19:17 (UTC) |
angular-electron-bin
|
2.0.2-1 |
0 |
0.00
|
Bootstrap and package your project with Angular 15 and Electron 23 (Typescript + SASS + Hot Reload) for creating Desktop applications. |
zxp19821005
|
2024-04-30 00:55 (UTC) |
angrysearch
|
1.0.4-1 |
28 |
0.28
|
Linux file search, instant results as you type |
DoTheEvolution
|
2021-12-18 19:09 (UTC) |
android-x86-libxft
|
2.3.8-1 |
0 |
0.00
|
FreeType-based font drawing library for X (Android x86) |
hipersayan_x
|
2024-05-05 23:45 (UTC) |
android-x86-harfbuzz-icu
|
8.4.0-1 |
0 |
0.00
|
OpenType text shaping engine (ICU integration, Android x86) |
hipersayan_x
|
2024-03-31 13:30 (UTC) |