nim-lang/sat

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Nim
License
MIT License
Created 10 months ago
Updated 9 months ago

nim-lang/sat

nim-lang

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A SAT solver written in Nim

Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

nimble

Package manager for the Nim programming language.

nimforum

Lightweight alternative to Discourse written in Nim

c2nim

c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to be tweaked by hand before and after the translation process.

packages

List of packages for Nimble

ui

Beginnings of what might become Nim's official UI library.

sdl2

Nim wrapper for SDL 2.x

langserver

The Nim language server implementation (based on nimsuggest)

nim-mode

An emacs major mode for the Nim programming language

RFCs

A repository for your Nim proposals.

NimLime

The official Nim programming language plugin for Sublime Text

fusion

Fusion is for now an idea about how to grow Nim's ecosystem without the pain points of more traditional approaches.

redis

Official redis wrapper for Nim.

bigints

BigInts for Nim

website

Code for the official Nim programming language website

opengl

An OpenGL wrapper for Nim

needed-libraries

This repository contains a list a needed libraries.

atlas

The Atlas Package cloner. It manages an isolated workspace that contains projects and dependencies.

vscode-nim

A VS Code plugin for the Nim language

threading

New atomics, thread primitives, atomic refcounting for --gc:arc/orc.

nim-zmq

Nim ZMQ wrapper

zip

zip wrapper for Nim

csources

The pre-generated C sources of the Nim compiler which aid in bootstrapping. This repository is archived because it's frozen, HEAD of csources can build Nim version 1 and any later version.

x11

x11 wrapper for Nim

iup

iup wrapper for Nim. Used to be part of the stdlib, now a Nimble package.

nightlies

Separate repository to trigger installer builds.

nimsuggest

idetools for the nim language

lua

Nim Wrapper to interface with the Lua interpreter

cairo

Nim Cairo wrapper.

python

Nim wrapper for the Python 2 programming language

gtk2

gtk2 wrapper for Nim

nif

NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming languages.

opencl

Low-level OpenCL wrapper for Nim

virus_checker

A virus checker for nim binaries

db_connector

Unified db connector in Nim

csources_v1

CSources compiled from Nim version 1. Supports more CPU/OS combinations than the older csources repository.

assets

tcl

Nim Wrapper for the TCL programming language

niminst

EDIT: now archived, see https://github.com/nim-lang/Nim/issues/15946. niminst is a tool to generate an installer for a Nim program. Currently it can create an installer for Windows as well as installation/deinstallation scripts for UNIX. Some support for Linux' package management systems is also included.

graphics

Graphics module for Nim. Currently based on SDL v1.2.

checksums

Hash algorithms in Nim

punycode

Implements a representation of Unicode with the limited ASCII character subset in Nim.

wiki

smtp

SMTP client implementation, adapted from the Nim standard library

standardjs

Wrappers for standardized JS modules.

compilerdev

This repository contains a collection of documents about how to change/refactor the Nim compiler in order to make it faster, easier to maintain and have fewer bugs by a superior architecture and design. However, no every idea here will work out.

nimbot

The friendly, slightly sentient, Nim IRC bot.

pas2nim

pas2nim is a tool to translate Delphi/Pascal wrappers to Nim code.

ci_bench

A simple performance dashboard for the Nim language

mongo

MongoDB wrapper for Nim

choosenim

Official tool for easily installing and managing multiple versions of the Nim programming language.

cgi

Helper procs for CGI applications in Nim.

dlls

Prebuilt DLLs and lib*.so files for Nim. Every DLL added here will also have at least a description about how we built it.

dialogs

This module implements portable dialogs for Nim; the implementation builds on the GTK interface. On Windows, native dialogs are shown instead.

sdl1

SDL v1.2 wrapper for Nim.

oldwinapi

Old Win API wrapper for Nim.

csources_v2

CSources compiled from Nim version 2.

edutainment

Tasks related to making Nim more widely known such as video creation.

community_map

htmlparser

Parse a HTML document in Nim

graveyard

non-deprecated modules that have been removed from the Nim stdlib

testspec

security

Embargoed security issues that will be made public after a fix is made available. Use https://github.com/nim-lang/security/security

basic2d

Deprecated package from stdlib.

asyncftpclient

FTP client implementation, adapted from the Nim standard library

backport

backport requests

kickstart

Automated bootstrapping scripts for the Nim programming language compiler.

aporia-bin

Holds binaries for Aporia (mostly DLLs)

expat

Expat wrapper for Nim.

basic3d

joyent_http_parser

nim-buildbot

Buildbot Configuration and Script Files for Nim

libsvm_legacy

forum.nim-lang.org

Styles for forum.nim-lang.org. Powered by nimforum.