Goodbye, Clean Code
Points: 1678 | Comments: 575 | Author: danabramov
Unidirectional Error Correcting Codes for Memory Systems: A Comparative Study
In order to achieve fault tolerance, highly reliable system often require the ability to detect errors as soon as they occur and prevent the speared of erroneous information throughout the system. Thus, the need for codes capable of detecting and c...
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Jul 8, 2025 · TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean. It requires full formal specs and proofs. No few-shot method solves all stages, making it a …
Clever: A Curated Benchmark for Formally Verified Code Generation
We introduce CLEVER, the first curated benchmark for evaluating the generation of specifications and formally verified code in Lean. The benchmark comprises of 161 programming problems; it evaluates …
Codewars Buddy Pairs Kata Optimize Python Solution
Tags: python, algorithm | Score: 1
Why INotifyPropertyChanged is not working for this ObservableCollection in WPF?
Hi there, I have an ObservableCollection name devices, I want to implement NotifyPropertyChanged event in the ObservableCollection. I try some code but that does not working. Here is the code. p...
emadpres/ADANA-plugin
ADANA is a novel approach to automatically generate and inject code comments that describe a given piece of source code. (⭐ 7)
ASM: code cave termination
Tags: assembly, x86, direct3d | Score: 1
jeecgboot/JeecgBoot
【AI低代码平台】“低代码+零代码”双模驱动AI智能平台 AI low-code platform empowers enterprises to quickly develop low-code solutions and build AI applications. 助力企业快速实现低代码开发和构建AI应用！ AI应用平台涵盖：AI应用、AI模型、AI聊天助手、知识库、AI流程编排、MCP和插件，聊天式业务操作等。 强大代码生成器：实现前后端一键生成，无需手写代码! 显著提升效率节省成本，又不失灵活~ (⭐ 4…
Running code after Spring Boot starts
Tags: java, spring, spring-boot | Score: 460
codeschool-courses/anatomyofbackbone
anatomyofbackbone (⭐ 210)
Android get Device Country Code
Tags: android | Score: 8
Why does my JavaScript code receive a "No 'Access-Control-Allow-Origin' header i…
Tags: javascript, jquery, cors, postman, same-origin-policy | Score: 3368
codeforcauseorg/causefolio
For the community, by the community. (⭐ 43)
Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Cod…
Program authorship attribution has implications for the privacy of programmers who wish to contribute code anonymously. While previous work has shown that complete files that are individually authored can be attributed, we show here for the first tim...
Telephone numbers in Bangladesh - Wikipedia
Area/operator code (X) – subscriber number (N)" When dialling a Bangladesh number from abroad, the format is: "+880 – Area/operator code (X) – subscriber
R4-DS Cheat Code Editor - GBAtemp.net
May 27, 2011 · R4-DS Cheat Code Editor 1.0 Have Fun!! :nds:
Mani580-code/hexa-botique
This is an online portal for designer unisex clothes. (⭐ 4)
hacktoberfest-codex/Medicinal-Plant-Detection
No description (⭐ 12)
The complete weight enumerator of a subclass of optimal three-weight cyclic code…
A class of optimal three-weight cyclic codes of dimension 3 over any finite field was presented by Vega [Finite Fields Appl., 42 (2016) 23-38]. Shortly thereafter, Heng and Yue [IEEE Trans. Inf. Theory, 62(8) (2016) 4501-4513] generalized this result...