Pushing the Limits of Mathematical Reasoning in Open Language Models
The fastest community-driven web framework for Go
Open source online judge based on Vue, Django and Docker
Solve puzzles. Improve your pytorch
Methodology for building one-person online businesses
Frevo is probably the simplest tool for evolutionary design
C++ Mock object auto generator
Concise networking code leveraging async-await, Decodable & Generics
An algorithm for Four Coloring Planar Graphs
Bring data to life with SVG, Canvas and HTML
Constraint Satisfaction Problem solving library for Java
Cron-like job scheduler for Elixir
eBPF-based Cloud Native Monitoring Tool
Tool-integrated Reasoning LLM Agents
Efficiently diff rows across two different databases
FlowViewer is a web-based netflow data analysis tool.
Provides an enhanced InheritableThreadLocal
We unified the interfaces of instruction-tuning data
Code, resources, and templates for mathematical modeling
A math-inspired CAD program in haskell. CSG, bevels, and shells
Create your own tiny chess bot
Generator of armchair nanotubes with specific bond lengths and angles
This soft provides Windows CMD diagnostic interface for lambda users