awesome-idris

(β˜… 414)

π›Œ Awesome Idris resources

파일 탐색기

μ΅œμ’… 버전 λ‹€μš΄λ‘œλ“œ (.zip)
  • contributing.md
  • Nat.idr
  • README.md

였늘의 μΆ”μ²œ ν”„λ‘œμ νŠΈ

claude-mem β˜… 90,896

λͺ¨λ“  μ—μ΄μ „νŠΈλ₯Ό μœ„ν•œ μ„Έμ…˜ κ°„ μ§€μ†ν˜• μ»¨ν…μŠ€νŠΈ(Persistent Context) – μ—μ΄μ „νŠΈκ°€ μ„Έμ…˜ λ™μ•ˆ μˆ˜ν–‰ν•˜λŠ” λͺ¨λ“  μž‘μ—…μ„ μΊ‘μ²˜ν•˜κ³ , AI둜 μ••μΆ•ν•œ λ‹€μŒ,

JavaScript
three.js β˜… 114,558

μžλ°”μŠ€ν¬λ¦½νŠΈ 3D 라이브러리.

JavaScript
tech-interview-handbook β˜… 141,903

λ°”μœ μ†Œν”„νŠΈμ›¨μ–΄ μ—”μ§€λ‹ˆμ–΄λ₯Ό μœ„ν•œ μ—„μ„ λœ μ½”λ”© 인터뷰 μ€€λΉ„ 자료

TypeScript
TradingAgents β˜… 98,489

TradingAgents: λ©€ν‹° μ—μ΄μ „νŠΈ LLM 금육 νŠΈλ ˆμ΄λ”© ν”„λ ˆμž„μ›Œν¬

Python
SecLists β˜… 72,883

SecListsλŠ” λ³΄μ•ˆ ν…ŒμŠ€ν„°μ˜ λ™λ°˜μžμž…λ‹ˆλ‹€. λ³΄μ•ˆ 진단 쀑에 μ‚¬μš©λ˜λŠ” λ‹€μ–‘ν•œ μœ ν˜•μ˜ λͺ©λ‘μ„ ν•œκ³³μ— λͺ¨μ•„λ‘” λͺ¨μŒμ§‘μž…λ‹ˆλ‹€. λͺ©λ‘ μœ ν˜•μ—λŠ” μ‚¬μš©μž 이름, λΉ„λ°€λ²ˆν˜Έ,

PHP
playwright β˜… 94,588

PlaywrightλŠ” μ›Ή ν…ŒμŠ€νŠΈ 및 μžλ™ν™”λ₯Ό μœ„ν•œ ν”„λ ˆμž„μ›Œν¬μž…λ‹ˆλ‹€. 단일 API둜 Chromium, Firefox, WebKit을 ν…ŒμŠ€νŠΈν•  수 μžˆμŠ΅λ‹ˆλ‹€.

TypeScript
// repository documentation