Lean 4 library and knowledge base for computational economics
☆41Oct 14, 2026Updated last week
Alternatives and similar repositories for EconCSLib
Users that are interested in EconCSLib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI-assisted Lean formalization for Economics and Computation research☆33Sep 28, 2026Updated 3 weeks ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- Building up from a simple OLG☆11May 17, 2026Updated 5 months ago
- A semantic network and reasoning engine in which rules, facts and numbers are nodes of one graph, so a statement is itself a node. Import…☆16Updated this week
- The event continuation language☆28Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Some Examples using VFItoolkit-matlab☆34Sep 30, 2026Updated 3 weeks ago
- DeskTodoSeq☆32Updated this week
- A Python environment manager built in Lean 4☆11Jun 22, 2026Updated 3 months ago
- Python version of fixed effects counterfactual estimators☆13Aug 21, 2025Updated last year
- Privacy-first browser manager for soundcore Work / Feishu D3200 recorder☆33Aug 15, 2026Updated 2 months ago
- This is a course in Data Science with Python☆15Updated this week
- Lectures and Tutorials for the Causal AI course☆56Jul 13, 2026Updated 3 months ago
- ☆10Updated this week
- Prepares US state two-region Make and Use tables☆13Apr 23, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Blue Oak Council's license list in JSON format☆10Jun 11, 2024Updated 2 years ago
- Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matr…☆41Updated this week
- Collection of linear & nonlinear (Kalman) Filters for economic models☆11Jul 11, 2024Updated 2 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated 2 years ago
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 8 months ago
- Evidence-graded, agent-executable thinking-method skills - 63 frameworks reduced to their working mechanism, honestly graded, and produci…☆20Updated this week
- traO Judge ジャッジ☆11Feb 17, 2026Updated 8 months ago
- ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆17Oct 11, 2026Updated last week
- Computation in Macro - PhD tutorial☆12Nov 23, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Python bindings for evaluating and round‑tripping Nix expressions, powered by [snix_eval] and [PyO3].☆12May 17, 2025Updated last year
- Self-hosted audio transcription & subtitle editor with web UI. 100% local, powered by OpenAI Whisper. No cloud needed.☆27Oct 12, 2026Updated last week
- 🏫 Google Meet Attendees chrome extension and userscript☆13Jul 11, 2021Updated 5 years ago
- 2526学年 宁诺CPU 周常资料仓库☆18Aug 10, 2026Updated 2 months ago
- Some Cryptids and Lean proofs☆52Updated this week
- Matlab code for"Functional Approximation of Impulse Responses" with Regis Barnichon, Journal of Monetary Economics, forthcoming☆15Dec 21, 2021Updated 4 years ago
- An opinionated one-stop shop for new and old Fortran projects, offering seamless compiling, building, packaging, linting, formatting, and…☆14Feb 18, 2025Updated last year
- This is a LaTeX class (with companion MathJax component) aimed towards formatting homework.☆14Aug 24, 2026Updated last month
- Sintaxis en Stata para estimar indicadores con la Encuesta Nacional de Hogares (ENAHO) del Peru.☆18Jul 9, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Essential toolkits for working with autoregressive models☆12Apr 20, 2024Updated 2 years ago
- Full pipeline to download, parse, clean, and assemble SEC N-PORT filings into research-ready datasets. N-PORT forms are quarterly filings…☆15Nov 11, 2025Updated 11 months ago
- ☆18Jun 27, 2024Updated 2 years ago
- A Pacman implementation in Rocq, extracted to C++ via Crane.☆20Sep 10, 2026Updated last month
- A collection of Python scripts to download RePEc database☆15Feb 8, 2026Updated 8 months ago
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 5 months ago
- User-written MATLAB code/solutions for the chapter exercises in Microeconometrics and MATLAB: An Introduction by Adams, Clarke and Quinn …☆15Mar 19, 2018Updated 8 years ago