python-scala-libraries
Mapping standard and common libraries from Python to Scala, including datetime, decimal, and JSON.
- License 许可
- MIT
- 最近更新
- 2026-10-02
- Stars
- ★ 92
- Forks
- 7
01 前言 Front Matter
- name
- python-scala-libraries
- description
- Mapping standard and common libraries from Python to Scala, including datetime, decimal, and JSON.
03 SKILL.md 正文
Python to Scala Libraries and Specialized Types
This skill covers the translation of library-specific functionality.
Datetime
- Python:
datetime.datetime,datetime.date. - Scala:
java.time.LocalDateTime,java.time.LocalDate. - Formatting:
java.time.format.DateTimeFormatter.
| Python | Scala |
|---|---|
dt.strftime("%Y-%m-%d") |
dt.format(DateTimeFormatter.ofPattern("yyyy-MM-dd")) |
datetime.now() |
LocalDateTime.now() |
Decimal
- Python:
decimal.Decimal. - Scala:
BigDecimal. - Formatting:
f"$decimal%.2f".
JSON (Circe)
- Python:
json.dumps(obj),json.loads(str). - Scala (Circe):
obj.asJson.noSpaces,parse(str). - Recursive JSON: Use
io.circe.Jsonfor a safe representation.
Error Handling
- Python:
try...except,raise RuntimeError. - Scala:
Try[T](Success/Failure),Either[L, R]. - Runtime Error:
throw new RuntimeException("...").
import scala.util.Try
val result = Try(operation()) // Success(v) or Failure(e)
04 同仓库更多 Skills
object_counter
Count occurrences of an object in the image using computer vision algorithm.
travel-planning-workflow
Invoke this skill when performing travel planning. It defines a structured workflow for generating itineraries. Following this workflow is essential to ensure the final plan satisfies user requirements.
bundled-dataset-search-tool
invoke this skill when you need to perform database search for travel planning. This skill provides some useful pre-packaged tools to look up accommodations, attractions, cities, driving distance, flights, and restaurants from the bundled dataset.
glm-output
Output-processing guidance for GLM tasks. Especially useful after glm-basics and glm-calibration when you need verifier-matching metrics from output.nc and a final /root/metrics.json.
glm-calibration
Calibration guidance for GLM tasks. Often most effective after glm-basics has clarified the setup; glm-output is the companion skill for exact final metric computation.
glm-basics
A good starting point for GLM calibration tasks. Use to inspect glm3.nml, confirm how GLM runs, and identify the relevant files before moving on to calibration and output evaluation.