Code Search

Code Search

Sourcegraph

About

Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.

About

With rapidly growing codebases, a proliferating number of repositories, multiple languages and file formats, and an increasing number of developer tools, Sourcegraph's Code Search enables developers to quickly explore and understand their code with precision and accuracy and automate large-scale code changes.

About

Simple, fast, safe, and compiled. For developing maintainable software. Simple language for building maintainable programs. You can learn the entire language by going through the documentation over a weekend, and in most cases, there's only one way to do something. This results in simple, readable, and maintainable code. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V is very similar to Go. If you know Go, you already know 80% of V. Bounds checking, No undefined values, no variable shadowing, immutable variables by default, immutable structs by default, option/result and mandatory error checks, sum types, generics, and immutable function args by default, mutable args have to be marked on call.

About

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications. The Wasm stack machine is designed to be encoded in a size- and load-time-efficient binary format. WebAssembly aims to execute at native speed by taking advantage of common hardware capabilities available on a wide range of platforms. WebAssembly describes a memory-safe, sandboxed execution environment that may even be implemented inside existing JavaScript virtual machines. When embedded in the web, WebAssembly will enforce the same-origin and permissions security policies of the browser. WebAssembly is designed to be pretty-printed in a textual format for debugging, testing, experimenting, optimizing, learning, teaching, and writing programs by hand. The textual format will be used when viewing the source of Wasm modules on the web.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Developers in need of a purely functional solution to create, build and test applications

Audience

Developers and enterprise dev teams looking for a more precise and accurate way to search and automate large-scale changes across their codebase

Audience

Developers interested in a language for building maintainable programs

Audience

Developers

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

Free
Free Version
Free Trial

Pricing

$49/user/month
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Haskell
www.haskell.org

Company Information

Sourcegraph
Founded: 2013
United States
sourcegraph.com/code-search

Company Information

V Programming Language
United States
vlang.io

Company Information

WebAssembly
Founded: 2015
webassembly.org

Alternatives

Alternatives

Alternatives

Alternatives

Apache Groovy

Apache Groovy

The Apache Software Foundation
Sourcetrail

Sourcetrail

Coati Software
Swift

Swift

Apple
Nix

Nix

NixOS
AssemblyScript

AssemblyScript

The AssemblyScript Project
Crucible

Crucible

Atlassian
Java

Java

Oracle
Upsource

Upsource

JetBrains
Zig

Zig

Zig Software Foundation

Categories

Categories

Categories

Categories

Source Code Management Features

Access Controls/Permissions
Bug Tracking
Build Automation
Change Management
Code Review
Collaboration
Continuous Integration
Repository Management
Version Control

Integrations

Amp
Apache NetBeans
CodeConvert
CodePal
CodeRunner
CodeSession
CodeSnack IDE
Dash
DeepSeek Coder
Extism
GitLab
JetBrains Hub
Meshpage.org
Metatable
Overleaf
PostgresML
RunCode
Snipplr
Spacemacs

Integrations

Amp
Apache NetBeans
CodeConvert
CodePal
CodeRunner
CodeSession
CodeSnack IDE
Dash
DeepSeek Coder
Extism
GitLab
JetBrains Hub
Meshpage.org
Metatable
Overleaf
PostgresML
RunCode
Snipplr
Spacemacs

Integrations

Amp
Apache NetBeans
CodeConvert
CodePal
CodeRunner
CodeSession
CodeSnack IDE
Dash
DeepSeek Coder
Extism
GitLab
JetBrains Hub
Meshpage.org
Metatable
Overleaf
PostgresML
RunCode
Snipplr
Spacemacs

Integrations

Amp
Apache NetBeans
CodeConvert
CodePal
CodeRunner
CodeSession
CodeSnack IDE
Dash
DeepSeek Coder
Extism
GitLab
JetBrains Hub
Meshpage.org
Metatable
Overleaf
PostgresML
RunCode
Snipplr
Spacemacs
Claim Haskell and update features and information
Claim Haskell and update features and information
Claim Code Search and update features and information
Claim Code Search and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information
Claim WebAssembly and update features and information
Claim WebAssembly and update features and information