Localize is a framework writed in swift to localize your projects easier improves i18n, including storyboards and strings.
- swift
- localization
- localized
- xcode
Repository Index
47,133 repositories indexed
121–144 of 251 · Most stars
Maintained fork of ruifm's gitlinker, refactored with bug fixes, ssh aliases, blame support and other improvements.
- lua
- neovim
- neovim-plugin
- plugin
Create a blog on Magento, generate blog posts with AI, choose your design anad improve SEO all from one place with the best Magento 2 Blog Extension on the market.
- magento2-extension
- magento-2
- magento-2-module
- magento-2-extension
Improve your UNIX command line experience and productivity with ztanesh project: the tools will make your shell more powerful and easier to use.
A Library for Representing Recursive and Impure Programs in Coq
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Multi platform setup for Rocq, Rocq libraries and tools
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.
- lunar
- lunar-lander
- moon
- probe
LoopWAM: Closed-Loop Generalist Policy Improvement from Deployment Rollouts
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A formalization of geometry in Coq based on Tarski's axiom system
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Improved Query Params for Ember
- emberjs
- ember-addon
- query-params
Wrapper for RDKit's RunReactants to improve stereochemistry handling
A Verified Compiler for Gallina, Written in Gallina
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
DeepWrite AI is Made with the Help of ChatGPT3 and Specific Model is Prepared for Generating Perfect Blog Post with atmost Clarity. This is Just the Version 1.0 More Improvement Will be Implemented.
Public repository for improvements to the EXTRABACON exploit
How to build an analytics agent that gets your business numbers right: metrics from your analysts' SQL, a golden set of real questions, improvement loops
Mostly Automated Synthesis of Correct-by-Construction Programs
Interpretable bilinear attention network with domain adaptation improves drug-target prediction.