Fan mod of Dino Crisis (PS1). It brings a modern Resident evil Remakes like over-the-shoulder camera, updated controls, visual/gameplay improvements, and plenty of Quality of Life settings to customize the experience to your liking.
Repository Index
47,133 repositories indexed
145–168 of 251 · Most stars
DiscoveryRSI: Recursively Learning to Discover Valuable Hypotheses
- agent-framework
- agentic-workflow
- aiforscience
- llm-agents
A library of mechanised undecidability proofs in the Coq proof assistant.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Modeling and Proving in Computational Type Theory
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
RISC-V Specification in Coq
TranslatedA guide to avoiding scams in the human world: 373 scam breakdowns covering 16 categories, including fake-order task scams (刷单), pig-butchering scams (杀猪盘), AI face-swapping, and scams targeting the elderly; includes real case reports, everyday self-check lists, PDF/EPUB/Anki downloads, and a scam-avoidance mini-game with 12 rounds
- anti-fraud
- anti-scam
- chinese
- scam-awareness
Well-formatted and improved trace system calls and signals (when the debugger does not help)
Java Emoji (JEmoji) is a lightweight, fast and auto generated emoji library for Java with the purpose to improve and ease working with emojis
- autogenerated-code
- emoji
- emojis
- java
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Improve the language of your paper before submission
- language-analysis
- python
- proof-reading
- grammar-checker
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Convert Haskell source code to Coq source code.
- coq
- haskell
A luau-lsp extension to improve your experience in neovim.
Neovim Lua plugin to improve register handling with delete, cut and yank mappings.
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Improved property management for Ember apps and addons.
Neovim Terminal, Improved 🦾💻
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
😀 improve your productivity and long-term happiness in just 21 days.
- flutter
- mental-health
- productivity
- mobile
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity