xbreu

react

The library for web and native user interfaces.

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

rust

Empowering everyone to build reliable and efficient software.

hugo

The world’s fastest framework for building websites.

alacritty

A cross-platform, OpenGL terminal emulator.

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

fish-shell

The user-friendly command line shell.

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

overleaf

A web-based collaborative LaTeX editor

languagetool

Style and Grammar Checker for 25+ Languages

element-web

A glossy Matrix collaboration client for the web.

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

tutanota

Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.

paru

Feature packed AUR helper

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

racket

The Racket repository

pythonnet

Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.

use-package

A use-package declaration for simplifying your .emacs

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

dafny

Dafny is a verification-aware programming language

melpa

Recipes and build machinery for the biggest Emacs package repo

Idris2

A purely functional programming language with first class types

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

boogie

Boogie

swipl

SWI-Prolog stable releases

genprog-code

GenProg: heuristic, GP-based automatic program repair for C.

Clover

Clover: Closed-Loop Verifiable Code Generation

vulnfix

Program Vulnerability Repair via Inductive Inference

LingLong