Nikos Baxevanis

Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.

Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.

A selection of the links I find interesting over time. Updated on a regular basis.

haskell-hedgehog's model-based state machine testing together with clr-inline (C#)

Pure Haskell and F# implementations of SplitMix pseudo-random number generator. Passes all dieharder tests.

Validate .claude/ directory structure.

This code is for educational and demonstration purposes only.

LNow's private notes - I had the honor of receiving a copy after my contribution to stateful testing in 2022.

Haskell language support for Atom, powered by ghcide.

No description.

This Atom extension adds language support for Haskell, powered by the Haskell Language Server.

Generate regex-constrained strings for FsCheck.

Samples of using FsCheck in F#, side-by-side with QuickCheck in Haskell

The Stacks blockchain implementation

Clarinet is a simple, modern and opinionated runtime for writing, testing and integrating Clarity Smart contracts

Check test case coverage requirements with QuickCheck, and Hedgehog.

No description.

Deno Binary Installer

No description.

A tool for finding bugs in tests

https://sbtc.tech

Random version of microemacs with my private modificatons

https://twitter.com/atiselsts_eth/status/1716361342083342454

No description.

Clarity model-based testing for Kenny's Cargo V1 contract

No description.

No description.

No description.

ploeh blog 'source code'

A simple app for learning Stacks development

No description.

First class Sublime Text AI assistant with o1, o3-mini, gpt-4.5 and ollama support!

Hedgehog will eat all your bugs.

Clean proptest fork. Replay isn't supposed to suck.

Unleash Bitcoin's full potential with decentralized apps and smart contracts. The documentation covers key aspects of the Stacks network and technology and provides tutorials and other helpful content for developers.

mercury-vale

No description.

No description.

:wavy_dash: color schemes and syntax highlighting for Sublime Text 3, optimized for Haskell.

No description.

A c# implementation of the WalletConnect client

No description.

Code from https://jacobstanley.io/how-to-use-hedgehog-to-test-a-real-world-large-scale-stateful-app/

Explore Hedgehog through some samples.

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

Git-coordinated Claude Code agent swarm in Docker. No orchestrator, no message passing.

One unified CLI for headless coding agent execution 🤖

Drop-in replacement for `claude -p` that drives the interactive Claude Code TUI inside an in-process zmux PTY session.

A robust execution client for Ethereum node operators.

A minimal LLM-powered zero-day vulnerability scanner by AISLE.

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu

Ethereum consensus client in Rust

AFL-based fuzz testing for .NET

No description.

A library to integrate hedgehog tests into your hspec test suite.

LightCheck – A QuickCheck-based clone. LightCheck is currently a work in progress. In the meantime, you might want to look at dotnet-jack.

C endeavors

For our discussion with LNow on clarity-notes

No description.

Literate Programming can be Quick and Dirty.

Dapp, Seth, Hevm, and more

Ethereum smart contract fuzzer

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

MultiSafe is a shared crypto wallet for managing Stacks (STX) and Bitcoin (BTC).

Read-Eval-Print Loop implementation for Clarity.

JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).

Source code of the Clearness blog. Learn to code Smart Contracts on Bitcoin thanks to Stacks and the Clarity Language

A modern runtime for JavaScript and TypeScript.

Simple Clarity contract that tracks the last block height a principal checked in at.

Community-submitted Stacks Improvement Proposals (SIPs)

Clarity syntax definitions for Sublime Text

Overview of the Clarity language for smart contracts

Proposal for a JavaScript compatible language compilable to Clarity

No description.

🐰 Hop Protocol smart contracts

Easily get all your token balances, (this will be later on integrated in the other apps)

Nethereum documentation

Compile and run Nethereum snippets on the browser

Library for processing the storage of the Ethereum blockchain in Azure Table Storage

Yet another test framework for Haskell.

EVM frontrunning tool

Boiler plate for Uniswap v2 flash loans (and flash swaps)

Bitcoin Core RPC API history

Hedgehog will eat all your bugs.

My father's website at https://cnbaxevanis.com.

A curated list of bitcoin services and tools for software developers

No description.

Pure Haskell implementation of SplitMix pseudo-random number generator

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Experiments using Nessos/Eff algebraic effects library.

Simpler version of SublimeHaskell. See README.md for the key improvements.

A library for building Haskell IDE tooling

Haskell development tool

Client implementation of the Language Server Protocol for Sublime Text

No description.

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

Bitcoin Core RPC compatible, battle-tested .NET library and RPC wrapper for Bitcoin and Altcoins

Duplicate or compare files and copy paths from the Side Bar in Sublime Text 3

No description.

C# functional language extensions - a base class library for functional programming

Haskell library for easily running embedded PostgreSQL server for tests

Theia extension for Haskell support

Cargo Tracker made functional with F#

Simple, Fair and Terminating Backtracking Monad

No description.

Blog post previews in need of peer review

Hedgehog will eat your typeclass bugs

:cake: 🔪 Architecture of Haskel backend applications

A fun coding challenge.

No description.

Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents

Exercises for programming workshop

Code examples for blog post

Haskell problem 23

A pure Polling Consumer written in F#

My father's website of 17th International Conference on Progress in Vaccination Against Cancer. It will take place in Loutraki, Corinth, Greece

What works, what is an experiment, and what is Frankenstein's monster.

Eject removable media without leaving the command line.

Supporting code for an article series called From dependency injection to dependency rejection

Dark and light custom UI themes for Sublime Text