Chrome extension for helping nonresident alien fill in the 1099-B stock transaction
☆35Jul 29, 2020Updated 6 years ago
Alternatives and similar repositories for Glacier-tax-1099-B-Stock-Transactions-Helper
Users that are interested in Glacier-tax-1099-B-Stock-Transactions-Helper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- WAND-PIC☆25Jul 9, 2022Updated 4 years ago
- ☆10Jul 9, 2026Updated 3 months ago
- 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.
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated 2 weeks ago
- ☆17Nov 11, 2021Updated 4 years ago
- Data sparse and non-parametric quantile regression☆10Jun 10, 2021Updated 5 years ago
- Code for the ICCV 2017 paper "Introspective Neural Networks for Generative Modeling"☆11Oct 24, 2017Updated 9 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Download your UW Madison course schedule as an .ical file.☆12Jan 21, 2025Updated last year
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- ☆12Jul 19, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Python scripts to help ACs with OpenReview☆11Feb 7, 2026Updated 9 months ago
- Scenarios generator considering space and time dependency. Includes conditional quantile regressions and copula approach.☆13Jun 16, 2016Updated 10 years ago
- Mimic interview☆10Jun 26, 2020Updated 6 years ago
- LU Decomposition using CUDA☆13Dec 7, 2013Updated 12 years ago
- McPAT modeling framework☆13Oct 18, 2014Updated 12 years ago
- Model predictive control(mpc), demand response and energyhub modeling in R☆16Jan 11, 2019Updated 7 years ago
- Deep Reinforcement Learning with LTL goals.☆10May 19, 2020Updated 6 years ago
- USPAS course on optimization and machine learning☆32Feb 7, 2025Updated last year
- ☆14Nov 19, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Hybrid Memory Cube Simulation & Research Infrastructure☆18Jun 9, 2025Updated last year
- A Drools-like rule engine written from the ground up in Dart and available as Flutter plugin☆22Apr 3, 2022Updated 4 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 3 years ago
- ☆15Nov 20, 2023Updated 2 years ago
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- An enhanced version of BMv2 switches that support changing the P4 program at runtime with no service interruption.☆18Apr 12, 2023Updated 3 years ago
- The ExpressOS kernel☆17Jun 7, 2013Updated 13 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- Parallelized Cross Entropy Method☆14Jul 26, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Implementing the DeepNap base station sleeping control agent.☆15Feb 17, 2017Updated 9 years ago
- Physarum Powered Differentiable Linear Programming Layers☆17Oct 27, 2021Updated 5 years ago
- RAD: Reinforcement Learning with Augmented Data (code for procgen experiments)☆19Mar 29, 2021Updated 5 years ago
- ☆20Jan 3, 2024Updated 2 years ago
- Controllability models of complex networks☆28Jan 13, 2024Updated 2 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 3 years ago
- ☆10Oct 6, 2015Updated 11 years ago