renatoathaydes/specks external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

renatoathaydes/specks

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/renatoathaydes/specks)

Close

renatoathaydes / specksView on GitHubMore

• External links
• Readme badge

Specks enables a different way to check that your Ceylon code works

☆13Jul 28, 2018Updated 7 years ago

Alternatives and similar repositories for specks

Users that are interested in specks are comparing it to the libraries listed below

• eclipse-archived / ceylon.formatter

  View on GitHub
  A formatter for the Ceylon programming language, written in Ceylon.
  ☆14Feb 8, 2020Updated 6 years ago
• eclipse-archived / ceylon-web-ide-backend

  View on GitHub
  The Ceylon Web IDE
  ☆25Nov 22, 2018Updated 7 years ago
• bjansen / gyokuro

  View on GitHub
  Web framework written in Ceylon 🐘
  ☆27Oct 4, 2017Updated 8 years ago
• ceylon / ceylon.ast

  View on GitHub
  ☆19Sep 18, 2018Updated 7 years ago
• jvasileff / ceylon-dart

  View on GitHub
  Dart backend for Ceylon
  ☆28Dec 4, 2017Updated 8 years ago
• renatoathaydes / ceylon-gradle-plugin

  View on GitHub
  A simple Gradle plugin to manage Ceylon projects.
  ☆22Mar 9, 2017Updated 9 years ago
• eclipse-archived / ceylon-ide-eclipse

  View on GitHub
  Eclipse Plugin for Ceylon
  ☆61Feb 8, 2020Updated 6 years ago
• eclipse-archived / ceylon-sdk

  View on GitHub
  Standard platform modules belonging to the Ceylon SDK
  ☆73Feb 8, 2020Updated 6 years ago
• eclipse-archived / ceylon-ide-intellij

  View on GitHub
  IntelliJ Plugin for Ceylon
  ☆62Nov 22, 2018Updated 7 years ago
• vietj / ceylon-cayla

  View on GitHub
  A web framework for Ceylon
  ☆39Jan 11, 2016Updated 10 years ago
• ceylon / ceylon-walkthrough

  View on GitHub
  An IDE-based walkthrough of the whole language. Check out this project in Eclipse to get started.
  ☆17Aug 21, 2017Updated 8 years ago
• jvasileff / vscode-ceylon

  View on GitHub
  Visual Studo Code Language Support for Ceylon
  ☆12Aug 27, 2017Updated 8 years ago
• eclipse-archived / ceylon

  View on GitHub
  The Ceylon compiler, language module, and command line tools
  ☆407Feb 11, 2022Updated 4 years ago
• pmlopes / openfaas-svm-vertx

  View on GitHub
  ☆19Mar 7, 2019Updated 7 years ago
• eclipse-archived / ceylon-lang.org

  View on GitHub
  Awestruct built static website for ceylon-lang.org
  ☆51Oct 1, 2020Updated 5 years ago
• FroMage / redpipe

  View on GitHub
  Redpipe Web Framework
  ☆70Oct 23, 2021Updated 4 years ago
• domix / wonky

  View on GitHub
  Slack made easy for orgs
  ☆30Apr 21, 2025Updated 10 months ago
• pivovarit / more-gatherers

  View on GitHub
  Missing Stream API functionality you always longed for - provided via Stream API Gatherers
  ☆52Updated this week
• llelf / prose

  View on GitHub
  Pure-Haskell proper unicode string handling
  ☆15Jun 5, 2016Updated 9 years ago
• ubalance-team / magum

  View on GitHub
  Magnetometer, Accelerometer and Gyroscope UDOO Management (FXAS21002C, FXOS8700CQ)
  ☆11Nov 7, 2017Updated 8 years ago
• linuxtips / DescomplicandoKubernetes

  View on GitHub
  ☆10May 5, 2024Updated last year
• nerves-project-attic / nerves_network_interface

  View on GitHub
  Discover, setup, and get stats on network interfaces
  ☆11Nov 17, 2023Updated 2 years ago
• xstefank / axon-service

  View on GitHub
  ☆11May 6, 2018Updated 7 years ago
• Jotschi / vertx-graalvm-native-image-test

  View on GitHub
  GraalVM - Substrate VM - Test project for Vert.x
  ☆41Jul 8, 2021Updated 4 years ago
• kprevas / ronin

  View on GitHub
  Ronin web framework
  ☆30May 8, 2021Updated 4 years ago
• seadowg / echo

  View on GitHub
  A Functional Reactive Programming framework for Scala
  ☆13Mar 12, 2013Updated 12 years ago
• GaloisInc / hpb

  View on GitHub
  Haskell Protocol Buffers
  ☆12Jan 22, 2020Updated 6 years ago
• k33g / funk

  View on GitHub
  FunK is a scalable function provider (think to kind of small FaaS)
  ☆10Jun 29, 2018Updated 7 years ago
• frewsxcv / rcat

  View on GitHub
  Concatenate and print files in a Rust byte slice compatible format.
  ☆12Mar 20, 2023Updated 2 years ago
• FalkorDB / JFalkorDB

  View on GitHub
  Java API for FalkorDB
  ☆17Feb 24, 2026Updated last week
• andifalk / ssl-demo

  View on GitHub
  Demo to enable HTTPS and HTTP/2 for spring boot web application
  ☆10Feb 7, 2020Updated 6 years ago
• leomindez / EasyRecycler

  View on GitHub
  Library to use Recycler View easily.
  ☆11Jan 3, 2017Updated 9 years ago
• jarohen / graph-zip

  View on GitHub
  A zipper library for Clojure that navigates graph structures
  ☆19Sep 16, 2012Updated 13 years ago
• jumpn / ecto_replay_sandbox

  View on GitHub
  A custom Ecto Sandbox for CockroachDB to run your tests
  ☆11Nov 27, 2023Updated 2 years ago
• milmazz / func_geo

  View on GitHub
  Functional Geometry with Elixir
  ☆11Feb 14, 2022Updated 4 years ago
• graalvm / graalvm-website

  View on GitHub
  GraalVM: Run Programs Faster Anywhere 🚀
  ☆13Updated this week
• giovannicandido / slush-spring-aurelia

  View on GitHub
  This is a slush generator to start with a modern FrontEnd Aurelia.io Backend by Java Spring Boot Framework
  ☆10Oct 22, 2016Updated 9 years ago
• jponge / oracle-javamag-vertx-rxjava

  View on GitHub
  ☆12Dec 7, 2017Updated 8 years ago
• PolyglotSymposium / mappy

  View on GitHub
  A functional programming language. Like LISP but focused around maps rather than lists.
  ☆12Jun 12, 2019Updated 6 years ago